Wenchang Shi. On Design of a Trusted Software Base with Support of TPCM. In Liqun Chen, Moti Yung, editors, Trusted Systems, First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Revised Selected Papers. Volume 6163 of Lecture Notes in Computer Science, pages 1-15, Springer, 2009. [doi]
Abstract is missing.