PLAS@PLDI 2006: Ottawa, Ontario, Canada

Authorization and monitoring

Finding security flaws

Structuring secure systems

Secure information flow

a service of Schloss Dagstuhl - Leibniz Center for Informatics