To Bell and back: developing a formal security policy model for a C

R. A. Gove, Lisa M. Jaworski, John G. Williams

Browse the full ACSAC paper archive.