Skip to content

A Security Policy and Formal Top Level Specification for a Multi-Level Secure Local Area Network.

John McHugh, Andrew P. Moore

VenueA*SP
Year1986
ProceedingsS&P

Browse the full SP paper archive.