1. [1] Trusted Computing Group, “TCG Specification Architecture Overview,” Trusted Computing Group, http://www.trustedcomputinggroup.org/tcg-architecture-overvie-version-1-4/, accessed Sept. 10. 2016.
2. [2] S. Pearson, Trusted Computing Platforms, the Next Security Solution, HP Laboratories, Bristol, 2002.
3. [3] M.T. Zhou and L. Tan, “Progress in Trusted Computing,” Journal of University of Electronic Science and Technology of China, vol.35, no.4, pp.686-697, 2006.
4. [4] H.W. Chen, J. Wang, and W. Dong, “High Confidence Software Engineering Technologies,” Acta Electronica Sinica, vol.31, no.12, pp.1933-1938, 2003.
5. [5] R. Milner, “A Calculus of Mobile Processes, Parts I and II,” Information and Computation, vol.100, no.1, pp.1-77, 1992.