pdf-format: |
|
@InProceedings{backes_et_al:DagSemProc.07421.4, author = {Backes, Michael and Maffei, Matteo and Unruh, Dominique}, title = {{Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol}}, booktitle = {Formal Protocol Verification Applied}, pages = {1--43}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7421}, editor = {Liqun Chen and Steve Kremer and Mark D. Ryan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2008/1415}, URN = {urn:nbn:de:0030-drops-14153}, doi = {10.4230/DagSemProc.07421.4}, annote = {Keywords: Language-based security, zero-knowledge proofs, applied pi-calculus, direct anonymous attestation} }
Keywords: | Language-based security, zero-knowledge proofs, applied pi-calculus, direct anonymous attestation | |
Seminar: | 07421 - Formal Protocol Verification Applied | |
Issue date: | 2008 | |
Date of publication: | 14.04.2008 |