Julien Delange, Peter Feiler,
Will Klieber, Allen Householder Lutz Wrage,

Automated Assurance of Security Policy Enforcement (AASPE)

MILS and Security - Introduction

Open publication - Free publishing

Research Communities

Cost of Security

Cost of Security: percent of additional effort based on Evaluated Assurance Level (EAL) and Software Size This figure shows that methods required by stringent standards no longer scale for big systems. Taken from Cost Estimation for Secure Software and Systems

Related Customer Projects (DoD, US ARMY, etc.)

Cost Impact

Research Projects

Significant Relevant Research Publications

Industrial Products

Previous related work from the team members