6. ESSoS 2014: Munich, Germany

Model-Based Security

Formal Methods

Web and Mobile Security

Applications

a service of Schloss Dagstuhl - Leibniz Center for Informatics