12. CSFW 1999: Mordano, Italy

Formal Models

Security Protocol Analysis: Notation, Transformation, and Simplification

Strand Spaces

Panel: Formalization and Proof of Secrecy Properties

Local Names

Interaction and Composition

Logics for Authorization and Access Control

Advances in Automated Security Protocol Analysis

Noninterference Using Process Algebras

maintained by Schloss Dagstuhl LZI at University of Trier