Login / Signup
Epistemic Verification of Cryptographic Protocols.
Pierre Bieber
Published in:
ESORICS (1990)
Keyphrases
</>
cryptographic protocols
standard model
formal verification
security properties
security protocols
private information retrieval
authentication protocol
locally decodable codes
epistemic logic
database
access control