FAST 2005: Newcastle upon Tyne, UK

Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (Eds.): Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3866 Springer 2006, ISBN 3-540-32628-6 BibTeX

Brian Randell, Peter Y. A. Ryan:
Voting Technologies and Trust. 1-4
Electronic Edition (link) BibTeX
Susan Pancho-Festin, Dieter Gollmann:
On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol. 5-15
Electronic Edition (link) BibTeX
Tao Song, Calvin Ko, Chinyang Henry Tseng, Poornima Balasubramanyam, Anant Chaudhary, Karl N. Levitt:
Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks. 16-33
Electronic Edition (link) BibTeX
Rob Delicata, Steve A. Schneider:
A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. 34-46
Electronic Edition (link) BibTeX
Boris Köpf, Heiko Mantel:
Eliminating Implicit Information Leaks by Transformational Typing and Unification. 47-62
Electronic Edition (link) BibTeX
Nicoletta De Francesco, Luca Martini:
Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations. 63-80
Electronic Edition (link) BibTeX
Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan:
Opacity Generalised to Transition Systems. 81-95
Electronic Edition (link) BibTeX
Constantin Enea:
Unifying Decidability Results on Protection Systems Using Simulations. 96-111
Electronic Edition (link) BibTeX
Gilles Barthe, Tamara Rezk, Ando Saabas:
Proof Obligations Preserving Compilation. 112-126
Electronic Edition (link) BibTeX
Hongbin Zhou, Simon N. Foley:
A Logic for Analysing Subterfuge in Delegation Chains. 127-141
Electronic Edition (link) BibTeX
Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Probable Innocence Revisited. 142-157
Electronic Edition (link) BibTeX
Johan W. Klüwer, Arild Waaler:
Relative Trustworthiness. 158-170
Electronic Edition (link) BibTeX
Simon Winwood, Manuel M. T. Chakravarty:
Secure Untrusted Binaries - Provably!. 171-186
Electronic Edition (link) BibTeX
Olga Pacheco:
Normative Specification: A Tool for Trust and Security. 187-202
Electronic Edition (link) BibTeX
Tom Chothia, Dominic Duggan:
Type-Based Distributed Access Control vs. Untyped Attackers. 203-216
Electronic Edition (link) BibTeX
Romain Laborde, François Barrère, Abdelmalek Benzekri:
A Security Management Information Model Derivation Framework: From Goals to Configurations. 217-234
Electronic Edition (link) BibTeX
Aybek Mukhamedov, Mark Dermot Ryan:
On Anonymity with Identity Escrow. 235-243
Electronic Edition (link) BibTeX
Kun Wei, James Heather:
Towards Verification of Timed Non-repudiation Protocols. 244-257
Electronic Edition (link) BibTeX