Mechanizing Security in HOL

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications
Place of Publication	Davis, California
Publisher	IEEE Computer Society Press
Pages	63-66
Number of pages	4
State	Published - 1991
Externally published	Yes

Access to Document

@inproceedings{f84d2f472e33432ebb2ebd5ffc664fcf,

title = "Mechanizing Security in HOL",

author = "William Harrison and Karl Levitt",

year = "1991",

language = "English",

pages = "63--66",

booktitle = "Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications",

publisher = "IEEE Computer Society Press",

}