7. CSFW 1994: Franconia, New Hampshire, USA

Non-Interference and Composability

• Jonathan K. Millen: Unwinding Forward Correctability. 2-10 BibTeX
• William D. Young, William R. Bevier: A State-Based Approach to Non-Interference. 11-21 BibTeX
• George W. Dinolt, Lee Benzinger, Mark Yatabe: Combining Components and Policies. 22-33 BibTeX

Formal Methods and Semantics

• Carol Muehrcke: Formal Methods for the Informal World. 36-46 BibTeX
• Adrian Spalka: Formal Semantics of Rights and Confidentiality in Definite Deductive Databases. 47-58 BibTeX

Model(l)ing

• Oliver Costich, John McLean, John P. McDermott: Confidentiality in a Replicated Architecture Trusted Database System: A Formal Model. 60-65 BibTeX
• Ravi S. Sandhu, Roshan K. Thomas: Conceptual Foundations for a Model of Task-based Authorizations. 66-79 BibTeX

Panel on "The General Write-Up Problem"

Cryptographic Protocol Analysis

• Catherine Meadows: A Model of Computation for the NRL Protocol Analyzer. 84-89 BibTeX
• Volker Kessler, Gabriele Wedel: AUTLOG - An Advanced Logic of Authentication. 90-99 BibTeX
• Aviel D. Rubin, Peter Honeyman: Nonmonotonic Cryptographic Protocols. 100-116 BibTeX

Security Policies

• Ramesh V. Peri, William A. Wulf: Formal Specification of Information Flow Security Policies and Their Enforcement in Security Critical Systems. 118-125 BibTeX
• Riccardo Focardi, Roberto Gorrieri: A Taxonomy of Security Properties for CCS. 126-136 BibTeX

Access Control

• Ravi S. Sandhu, Paul Ammann: One-Representative Safety Analysis in the Non-Monotonic Transform Model. 139-149 BibTeX
• Simon N. Foley: Reasoning about Confidentiality Requirements. 150-160 BibTeX

Panel on "Reconsidering the Role of the Reference Monitor"

• Daniel F. Sterne, Glenn S. Benson, Homayoon Tajalli: Redrawing the Security Perimeter of a Trusted System. 162-174 BibTeX
• Daniel F. Sterne: Panel: Reconsidering the Role fo the Reference Monitor. 175-176 BibTeX

Protocol Security

• Wenbo Mao, Colin Boyd: Development of Authentication Protocols: Some Misconceptions and a New Approach. 178-186 BibTeX
• Paul F. Syverson: A Taxonomy of Replay Attacks. 187-191 BibTeX
• Ulf Carlsen: Cryptographic Protocols Flaws. 192-200 BibTeX