9. CSFW 1996: Dromquinna Manor, Kenmare, County Kerry, Ireland

Protocols

Protocol Specification

Protocol Analysis Tools

E-Commerce Challenge

Composition

Security Policies

Access Control

Genealogy of Non-Interference

Attacks

What is an Attack on a Cryptographic Protocol?