Nonmonotonic Cryptographic Protocols.

Aviel D. Rubin Peter Honeyman

Published in: CSFW (1994)

Keyphrases

cryptographic protocols
nonmonotonic reasoning
logic programming
multiple inheritance
security properties
standard model
nonmonotonic logics
modal logic
security protocols
private information retrieval
default logic
authentication protocol
encryption decryption
real time
data sources
image quality