SECURITY POLICY AND FORMAL TOP LEVEL SPECIFICATION FOR A MULTI-LEVEL SECURE LOCAL AREA NETWORK.

Proceedings of the Symposium on Security and Privacy

Volumn , Issue , 1986, Pages 34-39

  McHugh, John ^a   Moore, Andrew P ^a  

^a RTI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS - LOCAL NETWORKS;

FORMAL TOP LEVEL SPECIFICATION; MULTILEVEL-SECURE LOCAL AREA NETWORK;

DATA PROCESSING;

EID: 0022582820     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)