%0 Conference Paper %1 conf/atc/ChenWZ07 %A Chen, Shuyi %A Wen, Yingyou %A Zhao, Hong %B ATC %D 2007 %E Xiao, Bin %E Yang, Laurence Tianruo %E Ma, Jianhua %E Müller-Schloer, Christian %E Hua, Yu %I Springer %K dblp %P 352-360 %T Formal Analysis of Secure Bootstrap in Trusted Computing. %U http://dblp.uni-trier.de/db/conf/atc/atc2007.html#ChenWZ07 %V 4610 %@ 978-3-540-73546-5

@inproceedings{conf/atc/ChenWZ07, added-at = {2017-05-25T00:00:00.000+0200}, author = {Chen, Shuyi and Wen, Yingyou and Zhao, Hong}, biburl = {https://www.bibsonomy.org/bibtex/2841de64a5652957e080e77f6be67d759/dblp}, booktitle = {ATC}, crossref = {conf/atc/2007}, editor = {Xiao, Bin and Yang, Laurence Tianruo and Ma, Jianhua and Müller-Schloer, Christian and Hua, Yu}, ee = {https://doi.org/10.1007/978-3-540-73547-2_37}, interhash = {66bfef9ef0fbea11591e79df943ae843}, intrahash = {841de64a5652957e080e77f6be67d759}, isbn = {978-3-540-73546-5}, keywords = {dblp}, pages = {352-360}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:45:42.000+0200}, title = {Formal Analysis of Secure Bootstrap in Trusted Computing.}, url = {http://dblp.uni-trier.de/db/conf/atc/atc2007.html#ChenWZ07}, volume = 4610, year = 2007 }