CryptoDB
Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model (full version)
Authors: | |
---|---|
Download: |
BibTeX
@article{eprint-2014-25470, title={Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model (full version)}, journal={IACR Cryptology ePrint Archive}, volume={2014}, pages={120}, url={https://eprint.iacr.org/2014/120}, author={Weijin Wang and Yu Qin and Dengguo Feng}, year=2014 }