[IEEE 2008 IEEE Symposium on Security and Privacy (sp 2008) - Oakland, CA, USA (2008.05.18-2008.05.22)] 2008 IEEE Symposium on Security and Privacy (sp 2008) - Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol
Backes, Michael; Maffei, Matteo; Unruh, Dominique
- 作者Backes, Michael; Maffei, Matteo; Unruh, Dominique
- 文件大小362.75KB
- 发表时间2008
- DOI10.1109/sp.2008.23
- 页码202-215