Volume 32, 2000

Workshop on secure architectures and information flow
Royal Holloway, University of London, December 1-3, 1999

• 
  Ulrich Lang, Rudolf Schreiner: Flexibility and Interoperability in CORBA Security. 1-13
• 
  Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet: Electronic Purse Applet Certification: extended abstract. 14-25
• 
  Dieter Gollmann: On the Verification of Cryptographic Protocols - A Tale of Two Committees. 42-58
• 
  Birgit Pfitzmann, Matthias Schunter, Michael Waidner: Cryptographic Security of Reactive Systems. 59-77
• 
  Paul H. B. Gardiner: Power Simulation and its Relation to Traces and Failures Refinement. 78-100
• 
  Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Secrecy in Security Protocols as Non Interference. 101-112
• 
  Steve Schneider, Peter Ryan: Preface. 113-114