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. Springer 2006 Lecture Notes in Computer Science ISBN 3-540-32628-6- Susan Pancho-Festin, Dieter Gollmann: On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol. 5-15
- 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
- Rob Delicata, Steve A. Schneider: A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. 34-46
- Boris Köpf, Heiko Mantel: Eliminating Implicit Information Leaks by Transformational Typing and Unification. 47-62
- Nicoletta De Francesco, Luca Martini: Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations. 63-80
- Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity Generalised to Transition Systems. 81-95
- Constantin Enea: Unifying Decidability Results on Protection Systems Using Simulations. 96-111
- Olga Pacheco: Normative Specification: A Tool for Trust and Security. 187-202
- Romain Laborde, François Barrère, Abdelmalek Benzekri: A Security Management Information Model Derivation Framework: From Goals to Configurations. 217-234
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team