SPARK User Group 2010

Designing and Implementing a Verifiable High Assurance Workstation