11th CCS 2004: Washington, DC, USA

Network intrusions

Access control

Applied cryptography

Network security

Credentials

Information flow

Privacy

Puzzles and users

Applications of formal methods

Operating systems security

Cryptographic tools

a service of Schloss Dagstuhl - Leibniz Center for Informatics