1. FASec 2002: London, UK

@proceedings{DBLP:conf/fasec/2002,
  editor    = {Ali E. Abdallah and
               Peter Ryan and
               Steve Schneider},
  title     = {Formal Aspects of Security, First International Conference, FASec
               2002, London, UK, December 16-18, 2002, Revised Papers},
  booktitle = {FASec},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2629},
  year      = {2003},
  isbn      = {3-540-20693-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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