Journal of Computer Security, Volume 9

Volume 9, Number 1/2, 2001

• Mei Lin Hui, Gavin Lowe: Fault-Preserving Simplifying Transformations for Security Protocols. 3-46 BibTeX
• Dawn Xiaodong Song, Sergey Berezin, Adrian Perrig: Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis. 47-74 BibTeX
• Peter Y. A. Ryan, Steve A. Schneider: Process Algebra and Non-Interference. 75-103 BibTeX
• Joseph Y. Halpern, Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces. 105-142 BibTeX
• Catherine Meadows: A Cost-Based Framework for Analysis of Denial of Service Networks. 143-164 BibTeX

Volume 9, Number 3, 2001

• Sushil Jajodia, Vijayalakshmi Atluri, Thomas F. Keefe, Catherine D. McCollum, Ravi Mukkamala: Multilevel Security Transaction Processing. 165-195 BibTeX
• Lawrence C. Paulson: Relations Between Secrets: Two Formal Analyses of the Yahalom Protocol. 197-216 BibTeX
• Frédéric Besson, Thomas P. Jensen, Daniel Le Métayer: Model Checking Security Properties of Control Flow Graphs. 217-250 BibTeX

Volume 9, Number 4, 2001

• Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati: Global Infrastructure Protection System. 251-284 BibTeX
• Dwaine E. Clarke, Jean-Emile Elien, Carl M. Ellison, Matt Fredette, Alexander Morcos, Ronald L. Rivest: Certificate Chain Discovery in SPKI/SDSI. 285-322 BibTeX
• Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen: Depender Graphs: A Method of Fault-Tolerant Certificate Distribution. 323-338 BibTeX