[Back cover] (PDF)
[Title page i] (PDF)
[Title page iii] (PDF)
[Copyright notice] (PDF)
Table of contents (PDF)
Preface (PDF)
Committees (PDF)
Program Committee (PDF)
Information-Theoretic Detection of SQL Injection Attacks (Abstract)
An Autonomic Reliability Improvement System for Cyber-Physical Systems (Abstract)
Visual model-driven design, verification and implementation of security protocols (Abstract)
Exception Handling Defects: An Empirical Study (Abstract)
Using Stochastic Model Checking to Provision Complex Business Services (Abstract)
A MDA-based Approach for Developing Simulation-Oriented Combat Flows (Abstract)
Proving the Absence Property Pattern Using the B Method (Abstract)
Communication Efficient Oblivious Transfer Using Elliptic Curves (Abstract)
Model Checking Software Architecture Design (Abstract)
Author index (PDF)
[Publisher's information] (PDF)