7th CSFW 1994: Franconia, New Hampshire, USA

Refine list

showing all ?? records

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