Central Library

Normal view MARC view ISBD view

Secure IT Systems [electronic resource] : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings / edited by Hanne Riis Nielson, Dieter Gollmann.

Contributor(s): Riis Nielson, Hanne [editor.] | Gollmann, Dieter [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 8208Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Description: XIV, 321 p. 64 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642414886.Subject(s): Computer science | Computer security | Data encryption (Computer science) | Algorithms | Computer Science | Systems and Data Security | Data Encryption | Algorithm Analysis and Problem ComplexityAdditional physical formats: Printed edition:: No titleDDC classification: 005.8 Online resources: Click here to access online
Contents:
Cyber-Physical Systems -- Security Policies -- Information Flow -- Security Experiences -- Cyber-Physical Systems -- Web Security -- Security Policies -- Network Security.
In: Springer eBooksSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.