FASec

Keyphrases

Publications

volume 2629, 2003

Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers FASec 2629 (2003)

2002

Gethin Norman, Vitaly Shmatikov
Analysis of Probabilistic Contract Signing. FASec (2002)
Fred B. Schneider
Lifting Reference Monitors from the Kernel. FASec (2002)
Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair
Automatic Approximation for the Verification of Cryptographic Protocols. FASec (2002)
Sigrid Gürgens, Carsten Rudolph
Security Analysis of (Un-) Fair Non-repudiation Protocols. FASec (2002)
Felix C. Gärtner
Revisiting Liveness Properties in the Context of Secure Systems. FASec (2002)
Colin Boyd, Kapali Viswanathan
Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis. FASec (2002)
Joseph Y. Halpern, Riccardo Pucella
Modeling Adversaries in a Logic for Security Protocol Analysis. FASec (2002)
Antonio Durante, Roberto Di Pietro, Luigi V. Mancini
Formal Specification for Fast Automatic IDS Training. FASec (2002)
Dieter Gollmann
Analysing Security Protocols. FASec (2002)
Ernie Cohen
TAPS: The Last Few Slides. FASec (2002)
Susan Stepney
Critical Critical Systems. FASec (2002)
Andy Gordon
Authenticity Types for Cryptographic Protocols. FASec (2002)
Mourad Debbabi, Josée Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi
Secure Self-certified Code for Java. FASec (2002)
Gordon Thomas Rohrmair, Gavin Lowe
Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area. FASec (2002)
Lawrence C. Paulson
Verifying the SET Protocol: Overview. FASec (2002)
Anthony Hall
Z Styles for Security Properties and Modern User Interfaces. FASec (2002)
David von Oheimb
Interacting State Machines: A Stateful Approach to Proving Security. FASec (2002)
Bart Preneel
Cryptographic Challenges: The Past and the Future. FASec (2002)