TY - GEN
AU - Backes, Michael
AU - Maffei, Matteo
AU - Unruh, Dominique
AU - Michael Backes and Matteo Maffei and Dominique Unruh
TI - Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - applied pi-calculus
KW - zero-knowledge proofs
KW - direct anonymous attestation
KW - Language-based security
PY - 2008
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation