Secure IT Systems - 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

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.

List of contents

Cyber-Physical Systems.- Security Policies.- Information Flow.- Security Experiences.- Cyber-Physical Systems.- Web Security.- Security Policies.- Network Security.

Summary

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.

Product details

• Assisted by: Gollmann (Editor), Gollmann (Editor), Dieter Gollmann (Editor), Hann Riis Nielsen (Editor), Hanne Riis Nielsen (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.04.2014
• EAN: 9783642414879
• ISBN: 978-3-642-41487-9
• No. of pages: 321
• Dimensions: 173 mm x 236 mm x 18 mm
• Weight: 511 g
• Illustrations: XIV, 321 p. 64 illus.
• Series: Lecture Notes in Computer Science; Security and Cryptology; Lecture Notes in Computer Science / Security and Cryptology; Lecture Notes in Computer Science; Security and Cryptology
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Algorithms, computer science, Systems and Data Security, Data and Information Security, Theory of Computation, Algorithms & data structures, Network Security, Computer security, Coding theory & cryptology, Algorithm Analysis and Problem Complexity, Data encryption, Data encryption (Computer science), Cryptology