2. CSFW 1989:
Franconia, New Hampshire, USA
Second IEEE Computer Security Foundations Workshop - CSFW'89, Franconia, New Hampshire, USA, 11-14 June 1989, Proceedings. IEEE Computer Society, ISBN 0-8186-1955-4
- Ian Sutherland, Stanley Perlo, Rammohan Varadarajan:
Deducibility Security with Dynamic Level Assignment.
3-8

- Dale M. Johnson, F. Javier Thayer:
Security Properties Consistent with the Testing Semantics for Communicating Processes.
9-21

- Todd Fine, J. Thomas Haigh, Richard C. O'Brien, Dana L. Toups:
Noninterference and the Unwinding for LOCK.
22-28

- Jaisook Landauer, Timothy Redmond, Terry Benzel:
Formal Policies for Trusted Processes.
31-40

- Hai-Ping Ko:
Security Properties of Ring Brackets.
41-46

- Maurice Herlihy, Jeannette M. Wing:
Specifying Security Constraints with Relaxation Lattices.
47-53

- Louise E. Moser:
A Logic of Knowledge and Belief for Reasoning about Computer Security.
47-63

- Janice I. Glasgow, Glenn H. MacEwen:
Obligation as the Basis of Integrity Specification.
64-70

- Leo Marcus, Telis Menas:
Safety via State Transition Language Plus Invariants.
71-77

- Jonathan K. Millen:
Finite-State Noiseless Covert Channels.
81-86

- J. Todd Wittbold:
Controlled Signalling Systems and Covert Channels.
87-104

- J. C. Wray:
An Optimization for Information Flow Analysis.
105-110

- Richard B. Neely, J. W. Freeman, M. D. Krenzin:
Achieving Understandable Results in a Formal Design Verification.
115-124

- R. Alan Whitehurst, Teresa F. Lunt:
The Sea View Verification.
125-132

- David Rosenthal:
Implementing a Verification Methodology for McCullough Security.
133-140

Last update Thu May 23 16:37:30 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page