MMM-ACNS 2010: St. Petersburg, Russia

Invited Papers

Security Modeling and Covert Channels

Security Policies and Formal Analysis of Security Properties

Authentication, Authorization, Access Control and Public Key Cryptography

Intrusion and Malware Detection

Security of Multi-agent Systems and Software Protection

Adaptive Security, Security Analysis and Virtualization

a service of Schloss Dagstuhl - Leibniz Center for Informatics