Journal of Computer Security, Volume 3

Volume 3, Number 1, 1995

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

Volume 3, Number 2/3, 1995

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

Volume 3, Number 4, 1995

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