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
  
• Dawn Xiaodong Song, Sergey Berezin, Adrian Perrig:
  Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis. 47-74
  
• Peter Y. A. Ryan, Steve A. Schneider:
  Process Algebra and Non-Interference. 75-103
  
• Joseph Y. Halpern, Ron van der Meyden:
  A Logic for SDSI's Linked Local Name Spaces. 105-142
  
• Catherine Meadows:
  A Cost-Based Framework for Analysis of Denial of Service Networks. 143-164
  

Volume 9, Number 3, 2001

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

Volume 9, Number 4, 2001

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

Last update Sat May 25 20:41:08 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page