Journal: Electronic Notes in Theoretical Computer Science

Volume 197, Issue 1

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