Type-Based Analysis of Protected Storage in the TPM-Reference-Cited by-同舟云学术

Type-Based Analysis of Protected Storage in the TPM

Published:2013 Issue: Volume: Page:135-150
ISSN:0302-9743
Container-title:Information and Communications Security
language:
Short-container-title:

Author:

Shao Jianxiong,Feng Dengguo,Qin Yu

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-02726-5_11

Reference17 articles.

1. Abadi, M., Blanchet, B.: Secrecy types for asymmetric communication. Theoretical Computer Science 298(3), 387-415 (2003)

2. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol. 2030, pp. 25-41. Springer, Heidelberg (2001)

3. Backes, M., Maffei, M., Unruh, D.: Zero-knowledge in the applied pi-calculus and automated verification of the direct anonymous attestation protocol. In: IEEE Symposium on Security and Privacy 2008, pp. 202–215 (2008)

4. Bruschi, D., Cavallaro, L., Lanzi, A., Monga, M.: Replay attack in TCG specification and solution. In: Proceedings of ACSAC 2005, Tucson, AZ (USA), vol. 10, pp. 127–137. ACSA, IEEE Computer Society (December 2005)

5. Lecture Notes in Computer Science;M. Centenaro,2012

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal analysis of HMAC authorisation in the TPM2.0 specification;IET Information Security;2018-03

2. Automated Security Proof of Cryptographic Support Commands in TPM 2.0;Information and Communications Security;2016

3. Formal Analysis of Enhanced Authorization in the TPM 2.0;Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security;2015-04-14

4. Formal analysis of TPM2.0 key management APIs;Chinese Science Bulletin;2014-08-15

5. The theory and practice in the evolution of trusted computing;Chinese Science Bulletin;2014-08-12