The Inductive Approach to Verifying Cryptographic Protocols.

Lawrence C. Paulson

Published in: CoRR (2021)

Keyphrases

cryptographic protocols
standard model
model checking
security properties
inductive learning
security protocols
formal verification
authentication protocol
locally decodable codes
real time