SCR: A Practical Approach to Building a High Assurance COMSEC System.

James Kirby, Myla Archer, Constance L. Heitmeyer

Browse the full ACSAC paper archive.