Title :
Mechanical Verification Of Secure Distributed systems In Higher Order Logic
Author :
Alves-Foss, Jim ; Levitt, Karl
Author_Institution :
Idaho Center For Applied Logic
Keywords :
Books; Computer science; File servers; Information security; Logic design; Mechanical factors; Multilevel systems; Network servers; Operating systems; Protection;
Conference_Titel :
HOL Theorem Proving System and Its Applications, 1991., International Workshop on the
Conference_Location :
Davis, CA, USA
Print_ISBN :
0-8186-2460-4
DOI :
10.1109/HOL.1991.596293
