Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 135, number: 1

1. Pierpaolo Degano, Luca Viganò
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:1-2 [Journal]
   
2. Carlos Caleiro, Luca Viganò, David A. Basin
   Deconstructing Alice and Bob. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:3-22 [Journal]
   
3. Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink
   A Syntactic Criterion for Injectivity of Authentication Protocols. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:23-38 [Journal]
   
4. Deepak D'Souza, K. R. Raghavendra, Barbara Sprick
   An Automata Based Approach for Verifying Information Flow Properties. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:39-58 [Journal]
   
5. Alexey Gotsman, Fabio Massacci, Marco Pistore
   Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:59-77 [Journal]
   
6. Kenji Imamoto, Kouichi Sakurai
   Design and Analysis of Diffie-Hellman-Based Key Exchange Using One-time ID by SVO Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:79-94 [Journal]
   
7. Monica Nesi, Giuseppina Rucci
   Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:95-114 [Journal]
   
8. Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson
   Static Validation of a Voting Protocol. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:115-134 [Journal]