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

by Degano, Pierpaolo; Guttman, Joshua D.

• ISBN13: 9783642286407
• ISBN10: 3642286402
• Format: Paperback
• Copyright: 2012-05-04
• Publisher: Springer-Verlag New York Inc

Summary

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.

Table of Contents

Differential Privacy and the Power of (Formalizing) Negative Thinking (Extended Abstract)	p. 1
Security Protocol Verification: Symbolic and Computational Models	p. 3
Analysing Routing Protocols: Four Nodes Topologies Are Sufficient	p. 30
Parametric Verification of Address Space Separation	p. 51
Verification of Security Protocols with Lists: From Length One to Unbounded Length	p. 69
Privacy Supporting Cloud Computing: ConfiChair, a Case Study	p. 89
A Formal Analysis of the Norwegian E-voting Protocol	p. 109
Provably Repairing the ISO/TEC 9798 Standard for Entity Authentication	p. 129
Security Proof with Dishonest Keys	p. 149
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity	p. 169
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker	p. 189
Verified Indifferentiable Hashing into Elliptic Curves	p. 209
Provable De-anonymization of Large Datasets with Sparse Dimensions	p. 229
Revisiting Botnet Models and Their Implications for Takedown Strategies	p. 249
A Game-Theoretic Analysis of Cooperation in Anonymity Networks	p. 269
Deciding Selective Declassification of Petri Nets	p. 290
Enforceable Security Policies Revisited	p. 309
Towards Incrementalization of Holistic Hyperproperties	p. 329
Type-Based Analysis of PKCS#11 Key Management	p. 349
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow	p. 369
PTaCL: A Language for Attribute-Based Access Control in Open Systems	p. 390
A Core Calculus for Provenance	p. 410
Author Index	p. 431
Table of Contents provided by Ingram. All Rights Reserved.