Principles of Security and Trust

1. A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow

   • Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew Appel, Lennart Beringer, John Hatcliff et al.

   Pages 369-389

2. PTaCL: A Language for Attribute-Based Access Control in Open Systems

   • Jason Crampton, Charles Morisset

   Pages 390-409

3. A Core Calculus for Provenance

   • Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera

   Pages 410-429

4. Back Matter

   PDF

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.

• de-anonymization
• differential privacy
• e-voting
• formal methods
• lifetime privacy loss
• algorithm analysis and problem complexity

• Dipartimento di Informatica, Università di Pisa, Pisa, Italy

  Pierpaolo Degano

• Computer Science, Worcester Polytechnic Institute, Worcester, USA

  Joshua D. Guttman

Policies and ethics