7th CSFW 1994: Franconia, New Hampshire, USA

Non-Interference and Composability

Formal Methods and Semantics


Panel on "The General Write-Up Problem"

Panelists: John P. McDermott (NRL), Rashan K. Thomas (GMU), Ira S. Moskowitz (NRL), and Oliver Costich (NRL)

Cryptographic Protocol Analysis

Security Policies

Access Control

Panel on "Reconsidering the Role of the Reference Monitor"

Panelists: Daniel F. Sterne (moderator), Leonard J. LaPadula (MITRE), Ravi S. Sandhu (GMU), Carl E. Landwehr (NRL), and Glenn S. Benson

Protocol Security

a service of Schloss Dagstuhl - Leibniz Center for Informatics