Chapter 1 Application-Replay Attack on Java Cards: When the Garbage Collector Gets Confused

Chapter 2 Supporting the Development and Documentation of ISO 27001 Information Security Management Systems through Security Requirements Engineering Approaches

Chapter 3 Typed Assembler for a RISC Crypto-Processor

Chapter 4 Transversal Policy Conflict Detection

Chapter 5 Challenges in Implementing an End-to-End Secure Protocol for Java ME-Based Mobile Data Collection in Low-Budget Settings

Chapter 6 Runtime Enforcement of Information Flow Security in Tree Manipulating Processes

Chapter 7 Formalisation and Implementation of the XACML Access Control Mechanism

Chapter 8 A Task Ordering Approach for Automatic Trust Establishment

Chapter 9 An Idea of an Independent Validation of Vulnerability Discovery Models

Chapter 10 A Sound Decision Procedure for the Compositionality of Secrecy

Chapter 12 Design of Adaptive Security Mechanisms for Real-Time Embedded Systems

Chapter 13 Hunting Application-Level Logical Errors

Chapter 14 Optimal Trust Mining and Computing on Keyed MapReduce