7. ESSoS 2015: Milan, Italy

Formal Methods

Machine Learning

Cloud and Passwords

Measurements and Ontologies

Access Control

a service of Schloss Dagstuhl - Leibniz Center for Informatics