Shuyi Chen, Yingyou Wen, Hong Zhao. Formal Analysis of Secure Bootstrap in Trusted Computing. In Bin Xiao, Laurence Tianruo Yang, Jianhua Ma, Christian Müller-Schloer, Yu Hua, editors, Autonomic and Trusted Computing, 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings. Volume 4610 of Lecture Notes in Computer Science, pages 352-360, Springer, 2007. [doi]
Abstract is missing.