10th CSFW 1997: Rockport, Massachusetts, USA

Protocol Checking in CSP

Protocol Engineering

Protocol Verification in Higher Order Logic

Languages for Formal Specification of Security Protocols

Distributed System Security

Protocol Applications

Information Flow: Chair

The Computer Security Foundations Workshop: Ten Years on and Ten Years Ahead

Security Policies

a service of Schloss Dagstuhl - Leibniz Center for Informatics