"Cryptographic Protocols Provably Secure Against Dynamic Adversaries."

Donald Beaver, Stuart Haber (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics