1 | -- | 2 | Fabio Massacci, Frank Piessens. Preface |
3 | -- | 16 | Srijith Krishnan Nair, Patrick N. D. Simpson, Bruno Crispo, Andrew S. Tanenbaum. A Virtual Machine Based Information Flow Control System for Policy Enforcement |
17 | -- | 30 | David Aspinall, Patrick Maier, Ian Stark. Monitoring External Resources in Java MIDP |
31 | -- | 43 | Tom Goovaerts, Bart De Win, Wouter Joosen. Infrastructural Support for Enforcing and Managing Distributed Application-Level Policies |
45 | -- | 58 | Irem Aktug, Katsiaryna Naliuka. ConSpec - A Formal Language for Policy Specification |
59 | -- | 72 | Dries Schellekens, Brecht Wyseur, Bart Preneel. Remote Attestation on Legacy Operating Systems With Trusted Platform Modules |
73 | -- | 85 | Sid Stamm, Nicholas Paul Sheppard, Reihaneh Safavi-Naini. Implementing Trusted Terminals with a and SITDRM |