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