Cornelius Namiluko, Andrew Martin. An Abstract Model of a Trusted Platform. In Liqun Chen, Moti Yung, editors, Trusted Systems - Second International Conference, INTRUST 2010, Beijing, China, December 13-15, 2010, Revised Selected Papers. Volume 6802 of Lecture Notes in Computer Science, pages 47-66, Springer, 2010. [doi]
Abstract is missing.