12th CSFW 1999: Mordano, Italy

Refine list

showing all ?? records

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