Journal of Computer Security, Volume 6

Volume 6, Number 1-2, 1998

• Martín Abadi: On SDSI's Linked Local Name Spaces. 3-22 BibTeX
• James W. Gray III, Kin Fai Epsilon Ip, King-Shan Lui: Provable Security for Cryptographic Protocols - Exact Analysis and Engineering Applications. 23-52 BibTeX
• Gavin Lowe: Casper: A Compiler for the Analysis of Security Protocols. 53-84 BibTeX
• Lawrence C. Paulson: The Inductive Approach to Verifying Cryptographic Protocols. 85-128 BibTeX

Volume 6, Number 3, 1998

• Tsutomu Matsumoto: Human-Computer Cryptography: An Attempt. 129-150 BibTeX
• Steven A. Hofmeyr, Stephanie Forrest, Anil Somayaji: Intrusion Detection Using Sequences of System Calls. 151-180 BibTeX
• Indrakshi Ray, Paul Ammann, Sushil Jajodia: A Semantic-Based Transaction Processing Model for Multilevel Transactions. 181-217 BibTeX

Volume 6, Number 4, 1998

• Lars R. Knudsen, Keith M. Martin: In Search of Multiple Domain Key Recovery. 219-236 BibTeX
• Matthew K. Franklin, Dahlia Malkhi: Auditable Metering with Lightweight Security. 237-256 BibTeX
• Fabio Casati, Silvana Castano, Maria Grazia Fugini: Enforcing Workflow Authorization Constraints Using Triggers. 257-286 BibTeX