%0 Conference Paper %1 conf/ccs/ShaoQFW15 %A Shao, Jianxiong %A Qin, Yu %A Feng, Dengguo %A Wang, Weijin %B AsiaCCS %D 2015 %E Bao, Feng %E Miller, Steven %E Zhou, Jianying %E Ahn, Gail-Joon %I ACM %K dblp %P 273-284 %T Formal Analysis of Enhanced Authorization in the TPM 2.0. %U http://dblp.uni-trier.de/db/conf/ccs/asiaccs2015.html#ShaoQFW15 %@ 978-1-4503-3245-3

@inproceedings{conf/ccs/ShaoQFW15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Shao, Jianxiong and Qin, Yu and Feng, Dengguo and Wang, Weijin}, biburl = {https://www.bibsonomy.org/bibtex/2fb84c605bad573e26795f2d1f24eed3a/dblp}, booktitle = {AsiaCCS}, crossref = {conf/ccs/2015asia}, editor = {Bao, Feng and Miller, Steven and Zhou, Jianying and Ahn, Gail-Joon}, ee = {https://doi.org/10.1145/2714576.2714610}, interhash = {962c5f5b79aa0d137033c3e5984fd8b4}, intrahash = {fb84c605bad573e26795f2d1f24eed3a}, isbn = {978-1-4503-3245-3}, keywords = {dblp}, pages = {273-284}, publisher = {ACM}, timestamp = {2024-04-09T10:13:48.000+0200}, title = {Formal Analysis of Enhanced Authorization in the TPM 2.0.}, url = {http://dblp.uni-trier.de/db/conf/ccs/asiaccs2015.html#ShaoQFW15}, year = 2015 }