Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.

Michael Backes Matteo Maffei Dominique Unruh Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. 2007 Formal Protocol Verification Applied http://drops.dagstuhl.de/opus/volltexte/2008/1415 conf/dagstuhl/2007P7421 db/conf/dagstuhl/P7421.html#BackesMU07