SCR: A practical approach to building a high assurance COMSEC system (1999)

by J Kirby, M Archer, C Heitmeyer
Venue:In Proc. 15th Annual Computer Security Applications Conference (ACSAC ’99