Analysis of the Hardware Verification of the Honeywell SCOMP

Proceedings - IEEE Symposium on Security and Privacy

Volumn 1985, Issue 1985, 2012, Pages 32-43

  Gligor, Virgil D ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS AND TESTING; HARDWARE DESIGN; HARDWARE FUNCTIONS; HARDWARE VERIFICATION; PENETRATION ANALYSIS; SECURITY KERNEL; SYSTEM DESIGNERS; VERIFICATION PROBLEMS;

SECURITY OF DATA;

EID: 84937404797     PISSN: 10816011     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SP.1985.10010     Document Type: Conference Paper

References (0)