Cryptographic protocols provably secure against dynamic adversaries (1992)

by Donald Beaver, Stuart Haber
Venue:of Lecture Notes in Computer Science