DocumentCode

2410243

Title

On The Use Of The HOL System For Protocol Verification

Author

Ardell-Oliver, Rachel C.

Author_Institution

New Museums Site

fYear

1991

fDate

28-30 Aug. 1991

Firstpage

59

Lastpage

62

Keywords

Banking; Communication channels; Control systems; Electronic mail; Hardware; History; Industrial plants; Laboratories; Protocols; Timing;

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.596272

Filename

596272