D.N. Kleidermacher

Integrating Static Analysis into a Secure Software Development Process

D.N. Kleidermacher, 2008, 2008 IEEE Conference on Technologies for Homeland Security.

Towards a High Assurance Multi-level Secure PC for Intelligence Communities

D.N. Kleidermacher, 2008, 2008 IEEE Conference on Technologies for Homeland Security.