Liang Gu, Yao Guo, Yanjiang Yang, Feng Bao, Hong Mei. Modeling TCG-Based Secure Systems with Colored Petri Nets. 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 67-86, Springer, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.