12th 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

a service of Schloss Dagstuhl - Leibniz Center for Informatics