3. CSFW 1990: Franconia, New Hampshire, USA

Third IEEE Computer Security Foundations Workshop - CSFW'90, Franconia, New Hampshire, USA, 12-14 June 1990, Proceedings. IEEE Computer Society, ISBN 0-8186-2071-4

Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden: A Logic for Reasoning about Security. 2-13 BibTeX
Pierre Bieber: A Logic of Communication in Hostile Environments. 14-22 BibTeX
Catherine Meadows: Representing Partial Knowledge in an Algebraic Security Model. 23-31 BibTeX
Paul F. Syverson: Formal Semantics for Logics of Cryptographic Protocols. 32-41 BibTeX
Jeremy Jacob: Categorizing non-interference. 44-50 BibTeX
Vijay Varadharajan: Petri Net Based Modelling of Information Flow Security Requirements. 51-61 BibTeX
Simon N. Foley: Secure Information Flow Using Security Groups. 62-72 BibTeX
Ira S. Moskowitz: Quotient States and Probabilistic Channels. 74-83 BibTeX
Jonathan K. Millen: Hookup Security for Synchronous Machines. 84-90 BibTeX
David Rosenthal: Security Models for Priority Buffering and Interrupt Handling. 91-97 BibTeX
Leonard J. LaPadula: Formal Modeling in a Generalized Framework for Access Control. 100-109 BibTeX
Edward Amoroso: A Policy Model for Denial of Service. 110-114 BibTeX
Lee Badger: Providing a Flexible Security Override for Trusted Systems. 115-121 BibTeX
James W. Gray III: Information Sharing in Secure Systems. 128-138 BibTeX
Jingsha He, Virgil D. Gligor: Information-Flow Analysis for Covert-Channel Identification in Multilevel Secure Operating Systems. 139-149 BibTeX
Sushil Jajodia, Ravi S. Sandhu: A Formal Framework for Single Level Decomposition of Multilevel Relations. 152-158 BibTeX
Ravi S. Sandhu, Sushil Jajodia, Teresa F. Lunt: A New Polyinstantiation Integrity Constraint for Multilevel Relations. 159-165 BibTeX