Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings / [electronic resource] :
edited by Pierpaolo Degano, Joshua D. Guttman.
- 1st ed. 2012.
- XIV, 431 p. online resource.
- Security and Cryptology, 7215 2946-1863 ; .
- Security and Cryptology, 7215 .
This book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software. The 20 papers, presented together with the abstract of an invited talk and a joint-ETAPS paper, were selected from a total of 67 submissions. Topics covered by the papers include: foundations of security, authentication, confidentiality, privacy and anonymity, authorization and trust, network security, protocols for security, language-based security, and quantitative security properties.
9783642286414
10.1007/978-3-642-28641-4 doi
Computer networks .
Cryptography.
Data encryption (Computer science).
Data protection.
Computers and civilization.
Electronic data processing--Management.
Algorithms.
Computer Communication Networks.
Cryptology.
Data and Information Security.
Computers and Society.
IT Operations.
Algorithms.
TK5105.5-5105.9
004.6
This book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software. The 20 papers, presented together with the abstract of an invited talk and a joint-ETAPS paper, were selected from a total of 67 submissions. Topics covered by the papers include: foundations of security, authentication, confidentiality, privacy and anonymity, authorization and trust, network security, protocols for security, language-based security, and quantitative security properties.
9783642286414
10.1007/978-3-642-28641-4 doi
Computer networks .
Cryptography.
Data encryption (Computer science).
Data protection.
Computers and civilization.
Electronic data processing--Management.
Algorithms.
Computer Communication Networks.
Cryptology.
Data and Information Security.
Computers and Society.
IT Operations.
Algorithms.
TK5105.5-5105.9
004.6