16th CSFW 2003: Pacific Grove, California, USA

Information Flow

Protocols I

Logics for Anonymity and Distributed System Security

Protocols II

Access Control & Information Flow

Authorization and Security Policies

Computational Analysis of Security Protocols

maintained by Schloss Dagstuhl LZI, founded at University of Trier