DocumentCode

2414544

Title

Mechanical Verification Of Secure Distributed systems In Higher Order Logic

Author

Alves-Foss, Jim ; Levitt, Karl

Author_Institution

Idaho Center For Applied Logic

fYear

1991

fDate

28-30 Aug. 1991

Firstpage

263

Lastpage

278

Keywords

Books; Computer science; File servers; Information security; Logic design; Mechanical factors; Multilevel systems; Network servers; Operating systems; Protection;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/HOL.1991.596293

Filename

596293