Journal of Computer Security, Volume 3

Volume 3, Number 1, 1995

Guest Editor: Li Gong (CSFW-7)

Riccardo Focardi, Roberto Gorrieri: A Taxonomy of Security Properties for Process Algebras. 5-34 BibTeX
Jonathan K. Millen: Unwinding Forward Correctability. 35-54 BibTeX
William R. Bevier, William D. Young: A State-Machine Approach to Non-Interference. 55-70 BibTeX
Gustavus J. Simmons, Catherine Meadows: The Role of Trust in Information Integrity Protocols. 71-84 BibTeX

Paul Ammann, Frank Jaeckle, Sushil Jajodia: Concurrency Control in a Secure Database via a Two-Snapshot Algorithm. 87-114 BibTeX
Iwen E. Kang, Thomas F. Keefe: Transaction Management for Multilevel Secure Replicated Databases. 115-146 BibTeX
Thomas H. Hinke, Harry S. Delugach, Asha Chandrasekhar: A Fast Algorithm for Detecting Second Paths in Database Inference Analysis. 147-168 BibTeX
Elisa Bertino, Fabio Origgi, Pierangela Samarati: An Extended Authorization Model for Object Databases. 169-206 BibTeX
LouAnna Notargiacomo, Barbara T. Blaustein, Catherine D. McCollum: Merging Models: Integrity, Dynamic Separation of Duty, and Trusted Data Management. 207-230 BibTeX

Simon N. Foley, Jeremy Jacob: Specifying Security for Computer Supported Collaborative Working. 233-254 BibTeX
Liqun Chen, Dieter Gollmann, Chris J. Mitchell: Distributing Trust Amongst Multiple Authentication Servers. 255-268 BibTeX
Aris Zakinthinos, E. Stewart Lee: The Composability of Non-Interference. 269-282 BibTeX
Matt Bishop: Theft of Information in the Take-Grant Protection Model. 283-308 BibTeX
Carlo Blundo, Luiz A. Frota Mattos, Douglas R. Stinson: Multiple Key Distribution Maintaining User Anonymity via Broadcast Channels. 309-322 BibTeX