Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model (full version).

W. Wang, Y. Qin, und D. Feng. IACR Cryptology ePrint Archive, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Zhe Wang University of Stuttgart

Dr. Dongren Wang University of Stuttgart

Dr. rer. nat. Lei Wang University of Stuttgart

Yi Wang University of Stuttgart

Yao Wang University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Efficiency Test in Chinese Plastic Futures Market.R. Chen, W. Wang, und W. Li. BIFE, Seite 404-407. IEEE Computer Society, (2012)TMSUI: A Trust Management Scheme of USB Storage Devices for Industrial Control Systems.B. Yang, Y. Qin, Y. Zhang, W. Wang, und D. Feng. ICICS, Volume 9543 von Lecture Notes in Computer Science, Seite 152-168. Springer, (2015)Discovering the impact of systemic and idiosyncratic risk factors on credit spread of corporate bond within the framework of intelligent knowledge management.R. Chen, L. Yang, W. Wang, und L. Tang. Annals OR, 234 (1): 3-15 (2015)Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model (full version).W. Wang, Y. Qin, und D. Feng. IACR Cryptology ePrint Archive, (2014)Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System (Full Version).W. Wang, Y. Qin, J. Liu, und D. Feng. IACR Cryptology ePrint Archive, (2017)Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model.W. Wang, Y. Qin, und D. Feng. ISPEC, Volume 8434 von Lecture Notes in Computer Science, Seite 144-158. Springer, (2014)Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System.W. Wang, J. Liu, Y. Qin, und D. Feng. ICICS, Volume 10631 von Lecture Notes in Computer Science, Seite 3-16. Springer, (2017)Information Properties of Boundary Line Models for N2O Emissions from Agricultural Soils.C. Topp, W. Wang, J. Cloy, R. Rees, und G. Hughes. Entropy, 15 (3): 972-987 (2013)ExBLACR: Extending BLACR System.W. Wang, D. Feng, Y. Qin, J. Shao, L. Xi, und X. Chu. ACISP, Volume 8544 von Lecture Notes in Computer Science, Seite 397-412. Springer, (2014)Automated Security Proof of Cryptographic Support Commands in TPM 2.0.W. Wang, Y. Qin, B. Yang, Y. Zhang, und D. Feng. ICICS, Volume 9977 von Lecture Notes in Computer Science, Seite 431-441. Springer, (2016)