6. FPS 2013: La Rochelle, France

Keynote Address

Security Protocols

Formal Methods

Physical Security

Attack Classification and Assessment

Access Control

Cipher Attacks

Ad-hoc and Sensor Networks

Resilience

Intrusion Detection

a service of Schloss Dagstuhl - Leibniz Center for Informatics