Software Development and Proofs of Multi-Level Security.

Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson

Browse the full ICSE paper archive.