Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol (English)
Free access
- New search for: Backes, Michael
- New search for: Maffei, Matteo
- New search for: Unruh, Dominique
- New search for: Backes, Michael
- New search for: Maffei, Matteo
- New search for: Unruh, Dominique
- New search for: Chen, Liqun
- New search for: Kremer, Steve
- New search for: Ryan, Mark D.
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol
-
Contributors:Backes, Michael ( author ) / Maffei, Matteo ( author ) / Unruh, Dominique ( author ) / Chen, Liqun ( editor ) / Kremer, Steve ( editor ) / Ryan, Mark D. ( editor )
-
Publisher:
- New search for: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Publication date:2008-04-14
-
Size:43 pages , 351211 byte
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Licence:
-
Source: