Sherlock: Commercial High Assurance Network Computing. - Stephen P. Morgan; Stephen W. Neal; Melissa A. Hartman; Matthew R. Laue (ISW, 2000)