4. INTRUST 2012: London, UK

Session 1: Automated Analysis

Session 2: Security and Trust

Session 3: Mobile Trust

Session 4: Security of Distributed Systems

Session 5: Evaluation and Analysis

Session 6: Embedded Security

a service of Schloss Dagstuhl - Leibniz Center for Informatics