Electronic Notes in Theoretical Computer Science, Volume 32

Volume 32, 2000

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