Donald Beaver, Stuart Haber. Cryptographic Protocols Provably Secure Against Dynamic Adversaries. In EUROCRYPT. pages 307-323, 1992. [doi]
@inproceedings{BeaverH92,
title = {Cryptographic Protocols Provably Secure Against Dynamic Adversaries},
author = {Donald Beaver and Stuart Haber},
year = {1992},
url = {http://link.springer.de/link/service/series/0558/bibs/0658/06580307.htm},
tags = {protocol},
researchr = {https://researchr.org/publication/BeaverH92},
cites = {0},
citedby = {0},
pages = {307-323},
booktitle = {EUROCRYPT},
}