Journals in DBLP

Journal of Computer Security
2003, volume: 11, number: 4

1. Andrew D. Gordon, Alan Jeffrey
   Authenticity by Typing for Security Protocols. [Citation Graph (0, 0)][DBLP]
   Journal of Computer Security, 2003, v:11, n:4, pp:451-520 [Journal]
   
2. Eijiro Sumii, Benjamin C. Pierce
   Logical Relations for Encryption. [Citation Graph (0, 0)][DBLP]
   Journal of Computer Security, 2003, v:11, n:4, pp:521-554 [Journal]
   
3. Olivier Pereira, Jean-Jacques Quisquater
   Some Attacks Upon Authenticated Group Key Agreement Protocols. [Citation Graph (0, 0)][DBLP]
   Journal of Computer Security, 2003, v:11, n:4, pp:555-580 [Journal]
   
4. Joseph Y. Halpern, Ron van der Meyden
   A Logical Reconstruction of SPKI. [Citation Graph (0, 0)][DBLP]
   Journal of Computer Security, 2003, v:11, n:4, pp:581-614 [Journal]
   
5. Heiko Mantel, Andrei Sabelfeld
   A Unifying Approach to the Security of Distributed and Multi-Threaded Programs. [Citation Graph (0, 0)][DBLP]
   Journal of Computer Security, 2003, v:11, n:4, pp:615-676 [Journal]
   
6. Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic
   A Compositional Logic for Proving Security Properties of Protocols. [Citation Graph (0, 0)][DBLP]
   Journal of Computer Security, 2003, v:11, n:4, pp:677-722 [Journal]