@InProceedings{GMW86,
author={Oded Goldreich and Silvio Micali
and Avi Wigderson},
title={Proofs that yield nothing but their
validity, and a methodology of
cryptographic protocol design},
crossref={FOCS27},
booktitle={Proceedings of the 27th FOCS},
pages={174-187},
year={1986},
}