1. CSFW 1988: Franconia, New Hampshire, USA

First IEEE Computer Security Foundations Workshop - CSFW'88, Franconia, New Hampshire, USA, 12-15 June 1988, Proceedings. MITRE Corporation Press

Daryl McCullough: Covert Channels and Degrees of Insecurity. 1-33 BibTeX
Joshua D. Guttman, Mark E. Nadel: What Needs Securing. 34-57 BibTeX
D. G. Weber: Quantitative Formal Security Analysis. 58-71 BibTeX
Dale M. Johnson, F. Javier Thayer: Security and the Composition of Machines. 72-89 BibTeX
David Rosenthal: An Approach to Increasing the Automation of the Verification of Security. 90-97 BibTeX
Jeremy Jacob: A Security Framework. 98-111 BibTeX
Ian Sutherland: Relating Bell-LaPadula-Style Security Models to Information Models. 112-123 BibTeX
Leo Marcus, Timothy Redmond: A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies. 127-138 BibTeX
Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden: Reasoning about Knowledge and Permission in Secure Distributed Systems. 139-146 BibTeX
John McHugh: A Formal Definition for Information Flow in the Gypsy Expression Language. 147-165 BibTeX
Bret Hartman: A General Approach to Tranquility in Information Flow Analysis. 166-181 BibTeX
Benedetto L. DiVito: Derived Information Sensitivity as a Modelling Technique. 182-187 BibTeX
Ravi S. Sandhu: Expressive Power of the Schematic Protection Model. 188-193 BibTeX
Matt Bishop: Theft of Information in the Take-Grant Protection Model. 194-218 BibTeX
Will Harkness, Paul A. Pittelli: Command Authorization as a Component of Information Integrity. 219-226 BibTeX
Teresa F. Lunt: Access Control Policies: Some Unanswered Questions. 227-245 BibTeX