Abstract is missing.
- Voting Technologies and TrustBrian Randell, Peter Y. A. Ryan. 1-4 [doi]
- On the Formal Analyses of the Zhou-Gollmann Non-repudiation ProtocolSusan Pancho-Festin, Dieter Gollmann. 5-15 [doi]
- Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc NetworksTao Song, Calvin Ko, Chinyang Henry Tseng, Poornima Balasubramanyam, Anant Chaudhary, Karl N. Levitt. 16-33 [doi]
- A Formal Approach for Reasoning About a Class of Diffie-Hellman ProtocolsRob Delicata, Steve A. Schneider. 34-46 [doi]
- Eliminating Implicit Information Leaks by Transformational Typing and UnificationBoris Köpf, Heiko Mantel. 47-62 [doi]
- Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security AnnotationsNicoletta De Francesco, Luca Martini. 63-80 [doi]
- Opacity Generalised to Transition SystemsJeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan. 81-95 [doi]
- Unifying Decidability Results on Protection Systems Using SimulationsConstantin Enea. 96-111 [doi]
- Proof Obligations Preserving CompilationGilles Barthe, Tamara Rezk, Ando Saabas. 112-126 [doi]
- A Logic for Analysing Subterfuge in Delegation ChainsHongbin Zhou, Simon N. Foley. 127-141 [doi]
- Probable Innocence RevisitedKonstantinos Chatzikokolakis, Catuscia Palamidessi. 142-157 [doi]
- Relative TrustworthinessJohan W. Klüwer, Arild Waaler. 158-170 [doi]
- Secure Untrusted Binaries - Provably!Simon Winwood, Manuel M. T. Chakravarty. 171-186 [doi]
- Normative Specification: A Tool for Trust and SecurityOlga Pacheco. 187-202 [doi]
- Type-Based Distributed Access Control vs. Untyped AttackersTom Chothia, Dominic Duggan. 203-216 [doi]
- A Security Management Information Model Derivation Framework: From Goals to ConfigurationsRomain Laborde, François Barrère, Abdelmalek Benzekri. 217-234 [doi]
- On Anonymity with Identity EscrowAybek Mukhamedov, Mark Dermot Ryan. 235-243 [doi]
- Towards Verification of Timed Non-repudiation ProtocolsKun Wei, James Heather. 244-257 [doi]