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

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. Front Matter....Pages - Differential Privacy and the Power of (Formalizing) Negative Thinking....Pages 1-2 Security Protocol Verification: Symbolic and Computational Models....Pages 3-29 Analysing Routing Protocols: Four Nodes Topologies Are Sufficient....Pages 30-50 Parametric Verification of Address Space Separation....Pages 51-68 Verification of Security Protocols with Lists: From Length One to Unbounded Length....Pages 69-88 Privacy Supporting Cloud Computing: ConfiChair, a Case Study....Pages 89-108 A Formal Analysis of the Norwegian E-voting Protocol....Pages 109-128 Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication....Pages 129-148 Security Proof with Dishonest Keys....Pages 149-168 Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity....Pages 169-188 Towards Unconditional Soundness: Computationally Complete Symbolic Attacker....Pages 189-208 Verified Indifferentiable Hashing into Elliptic Curves....Pages 209-228 Provable De-anonymization of Large Datasets with Sparse Dimensions....Pages 229-248 Revisiting Botnet Models and Their Implications for Takedown Strategies....Pages 249-268 A Game-Theoretic Analysis of Cooperation in Anonymity Networks....Pages 269-289 Deciding Selective Declassification of Petri Nets....Pages 290-308 Enforceable Security Policies Revisited....Pages 309-328 Towards Incrementalization of Holistic Hyperproperties....Pages 329-348 Type-Based Analysis of PKCS#11 Key Management....Pages 349-368 A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow....Pages 369-389 PTaCL: A Language for Attribute-Based Access Control in Open Systems....Pages 390-409 A Core Calculus for Provenance....Pages 410-429 Back Matter....Pages -