On the Importance of Checking Cryptographic Protocols for Faults (Extended Abstract).

Dan Boneh Richard A. DeMillo Richard J. Lipton

Published in: EUROCRYPT (1997)

Keyphrases

extended abstract
cryptographic protocols
standard model
model based diagnosis
fault detection
security properties
fault diagnosis
security protocols
encryption decryption
real time
authentication protocol
private information retrieval