19th CSFW 2006: Venice, Italy

Information Flow

Games, Plans, and Transformations

Access Control

Security Protocol Analysis

Language, Interaction, and Change

Language, Obfuscation, and Robustness

Authorization and Trust

Protocols and Cryptographic Foundations

a service of Schloss Dagstuhl - Leibniz Center for Informatics