Abstract is missing.
- Formal Certification of ElGamal EncryptionGilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin. 1-19 [doi]
- Secure Information Flow as a Safety PropertyGérard Boudol. 20-34 [doi]
- Who Can Declassify?Alexander Lux, Heiko Mantel. 35-49 [doi]
- Non-Interference for Deterministic Interactive ProgramsDavid Clark, Sebastian Hunt. 50-66 [doi]
- Information-Theoretic Modeling and Analysis of Interrupt-Related Covert ChannelsHeiko Mantel, Henning Sudbrock. 67-81 [doi]
- Causality and AccountabilityDominic Duggan, Ye Wu. 82-96 [doi]
- Dynamics, Robustness and Fragility of TrustDusko Pavlovic. 97-113 [doi]
- Trust within the Context of Organizations: A Formal ApproachEmiliano Lorini, Rino Falcone, Cristiano Castelfranchi. 114-128 [doi]
- Know What You TrustFred Spiessens, Jerry den Hartog, Sandro Etalle. 129-142 [doi]
- Privacy-Friendly Electronic Traffic Pricing via CommitsWiebren de Jonge, Bart Jacobs. 143-161 [doi]
- A Formal Privacy Management FrameworkDaniel Le Métayer. 162-176 [doi]
- Parameterised AnonymityJan Friso Groote, Simona Orzan. 177-191 [doi]
- Automatic Methods for Analyzing Non-repudiation Protocols with an Active IntruderFrancis Klay, Laurent Vigneron. 192-209 [doi]
- Petri Net Security Checker: Structural Non-interference at WorkSimone Frau, Roberto Gorrieri, Carlo Ferigato. 210-225 [doi]
- Verifying Multi-party Authentication Using Rank Functions and PVSRob Verhoeven, Francien Dechesne. 226-241 [doi]
- The Append-Only Web Bulletin BoardJames Heather, David Lundin. 242-256 [doi]
- Secure Broadcast AmbientsElsa L. Gunter, Ayesha Yasmeen. 257-271 [doi]
- Extending Anticipation Games with Location, Penalty and TimelineElie Bursztein. 272-286 [doi]
- Do You Really Mean What You Actually Enforced?Nataliia Bielova, Fabio Massacci. 287-301 [doi]
- Delegating Privileges over Finite Resources: A Quota Based Delegation ApproachIsaac Agudo, M. Carmen Fernández Gago, Javier Lopez. 302-315 [doi]
- Access Control and Information Flow in Transactional MemoryAriel Cohen 0002, Ron van der Meyden, Lenore D. Zuck. 316-330 [doi]