Deciding cryptographic protocol adequacy with HOL

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 90-105
https://doi.org/10.1007/3-540-60275-5_59

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Handling infeasible specifications of cryptographic protocols
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
Using encryption for authentication in large networks of computers
Communications of the ACM, 1978