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
D. G. Weber:
Quantitative Formal Security Analysis.
58-71
David Rosenthal:
An Approach to Increasing the Automation of the Verification of Security.
90-97
Ian Sutherland:
Relating Bell-LaPadula-Style Security Models to Information Models.
112-123
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
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
Teresa F. Lunt:
Access Control Policies: Some Unanswered Questions.
227-245