1. ESSoS 2009: Leuven, Belgium

Policy Verification and Enforcement

Model Refinement and Program Transformation

Secure System Development

Attack Analysis and Prevention

Testing and Assurance