Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2000, volume: 32, number:

1. Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet
   Electronic Purse Applet Certification: extended abstract. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:32, n:, pp:- [Journal]
   
2. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
   Secrecy in Security Protocols as Non Interference. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:32, n:, pp:- [Journal]
   
3. Paul Gardiner
   Power Simulation and its Relation to Traces and Failures Refinement. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:32, n:, pp:- [Journal]
   
4. Dieter Gollmann
   On the Verification of Cryptographic Protocols - A Tale of Two Committees. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:32, n:, pp:- [Journal]
   
5. Ulrich Lang, Rudolf Schreiner
   Flexibility and Interoperability in CORBA Security. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:32, n:, pp:- [Journal]
   
6. Birgit Pfitzmann, Matthias Schunter, Michael Waidner
   Cryptographic Security of Reactive Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:32, n:, pp:- [Journal]
   
7. Steve Schneider, Peter Ryan
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:32, n:, pp:- [Journal]