Electronic Notes in Theoretical Computer Science, Volume 197

Volume 197, Number 1, February 2008

Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems (REM 2007)

Volume 197, Number 2, February 2008

Proceedings of the 3rd International Workshop on Security and Trust Management (STM 2007)