Cryptographic Protocols Provably Secure Against Dynamic Adversaries.

Donald Beaver Stuart Haber

Published in: EUROCRYPT (1992)

Keyphrases

cryptographic protocols
provably secure
standard model
key management
security protocols
security model
database