Secure IT Systems 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings / [electronic resource] :
edited by Hanne Riis Nielson, Dieter Gollmann.
- XIV, 321 p. 64 illus. online resource.
- Lecture Notes in Computer Science, 8208 0302-9743 ; .
- Lecture Notes in Computer Science, 8208 .
Cyber-Physical Systems -- Security Policies -- Information Flow -- Security Experiences -- Cyber-Physical Systems -- Web Security -- Security Policies -- Network Security.
This book constitutes the refereed proceedings of the 18th Nordic Conference on Secure IT Systems, NordSec 2013, held in Ilulissat, Greenland, in October 2013. The 18 revised regular papers together with 3 short papers and one invited talk were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on formal analysis of security protocols, cyber-physical systems, security policies, information flow, security experiences, Web security, and network security.
9783642414886
10.1007/978-3-642-41488-6 doi
Computer science.
Computer security.
Data encryption (Computer science).
Algorithms.
Computer Science.
Systems and Data Security.
Data Encryption.
Algorithm Analysis and Problem Complexity.
QA76.9.A25
005.8
Cyber-Physical Systems -- Security Policies -- Information Flow -- Security Experiences -- Cyber-Physical Systems -- Web Security -- Security Policies -- Network Security.
This book constitutes the refereed proceedings of the 18th Nordic Conference on Secure IT Systems, NordSec 2013, held in Ilulissat, Greenland, in October 2013. The 18 revised regular papers together with 3 short papers and one invited talk were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on formal analysis of security protocols, cyber-physical systems, security policies, information flow, security experiences, Web security, and network security.
9783642414886
10.1007/978-3-642-41488-6 doi
Computer science.
Computer security.
Data encryption (Computer science).
Algorithms.
Computer Science.
Systems and Data Security.
Data Encryption.
Algorithm Analysis and Problem Complexity.
QA76.9.A25
005.8