10th CSFW 1997: Rockport, Massachusetts, USA

Refine list

showing all ?? records

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