A HOL extension of GNY for automatically analyzing cryptographic protocols.

Stephen H. Brackin

Published in: CSFW (1996)

Keyphrases

cryptographic protocols
theorem prover
security protocols
standard model
security properties
locally decodable codes
data streams
high dimensional
data distribution