Journals in DBLP

Journal of Computer Security
2001, volume: 9, number: 1/2

1. Mei Lin Hui, Gavin Lowe
   Fault-Preserving Simplifying Transformations for Security Protocols. [Citation Graph (0, 0)][DBLP]
   Journal of Computer Security, 2001, v:9, n:1/2, pp:3-46 [Journal]
   
2. Dawn Xiaodong Song, Sergey Berezin, Adrian Perrig
   Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
   Journal of Computer Security, 2001, v:9, n:1/2, pp:47-74 [Journal]
   
3. Peter Y. A. Ryan, Steve A. Schneider
   Process Algebra and Non-Interference. [Citation Graph (0, 0)][DBLP]
   Journal of Computer Security, 2001, v:9, n:1/2, pp:75-103 [Journal]
   
4. Joseph Y. Halpern, Ron van der Meyden
   A Logic for SDSI's Linked Local Name Spaces. [Citation Graph (0, 0)][DBLP]
   Journal of Computer Security, 2001, v:9, n:1/2, pp:105-142 [Journal]
   
5. Catherine Meadows
   A Cost-Based Framework for Analysis of Denial of Service Networks. [Citation Graph (0, 0)][DBLP]
   Journal of Computer Security, 2001, v:9, n:1/2, pp:143-164 [Journal]