Testing on trust chain of trusted computing platform based on labeled transition system

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 32, Issue 4, 2009, Pages 635-645

  Xu, Ming Di ^a,b   Zhang, Huan Guo ^a,b   Yan, Fei ^a,b  

^a BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

^b WUHAN UNIVERSITY   (China)

Author keywords

Conformance testing; Labeled transition system; Process algebra; Trust chain; Trusted computing platform

Indexed keywords

CONFORMANCE TESTING; LABELED TRANSITION SYSTEM; PROCESS ALGEBRA; TRUST CHAIN; TRUSTED COMPUTING PLATFORM;

ALGEBRA; INFORMATION THEORY; LASER TISSUE INTERACTION; SEMANTICS; SPECIFICATIONS; TESTING;

SECURITY OF DATA;

EID: 65349106488     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: 10.3724/SP.J.1016.2009.00635     Document Type: Article

References (18)

1. Shen Chang-Xiang, Zhang Huang-Guo, Feng Deng-Guo et al. Survey of information security. Science in China Series: E (Information Security), 2007, 37(2): 129-150 (in Chinese)
2. Zhang Huan-Guo, Luo Jie, Jin Gang et al. Development of trusted computing research. Journal of Wuhan University (Natural Science Edition), 2006, 52(5): 513-518 (in Chinese)
3. Sailer R, Zhang Xiao-Lan, Jaeger T et al. Design and implementation of a TCG-Based integrity measurement architecture//Proceedings of the 13th Usenix Security Symposium. San Diego, California, 2004: 223-238
4. Wu Shi-Zhong. Decade research of testing, evaluation and certification of information security. Information Security and Communications Privacy, 2007, 6(4): 5-8 (in Chinese)
5. ISO/IEC 9646-1. Information technology-open systems interconnection-conformance testing methodology and framework-part 1: General concepts. 1994
6. Jiang Fan, Ning Hua-Zhong. Automatic test suite generation based on labeled transition system. Journal of Computer Research and Development, 2001, 38(12): 1435-1445 (in Chinese)
7. Zhao Rui-Lian, Min Ying-Hua. A software testing method based on domain analysis of specification and program. Journal of Computer Research and Development, 2003, 40(6): 846-855 (in Chinese)
8. Keller R M. Formal verification of parallel programs. Communications of the ACM, 1976, 19(7): 371-384
9. Lien Y E. Study of theoretical and practical aspects of transition systems [Ph. D. dissertation]. University of California, Berkley, 1972
10. Plotkin G. A structural approach to operational semantics. Department of Computer Science Research Report DAIMI FN-19, Aaxhus University: Technical Report DAIMI FN-19, 1981
11. Wang Yong-Xiang, Wu Jin-Zhao, Jiang Jian-Min. Process Algebra-Symmetrical and Action Refinement. Beijing: Science Press, 2007 (in Chinese)
12. Li Meng-Jun, Li Zhou-Jun, Chen Huo-Wang. A survey of security protocol verification based on process algebra. Journal of Computer Research and Development, 2004, 41(7): 1093-1103 (in Chinese)
13. Bi Jun, Wu Jian-Ping, Zhu Jiang. Research on extended transition systems based conformance testing for distributed systems. Acta Electronica Sinica, 2000, 28(2): 130-132 (in Chinese)
14. Deepak G, Jason F, Dilsun K et al. Towards a theory of secure systems. Technical Reports CMU-CyLab-08-003, 2008
15. Bolognesi T, Brinksma E. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 1987, 14(1): 25-59
16. Nicola R D. Extensional equivalences for transition systems. Acta Informatica, 1987, 24(2): 211-237
17. Zhao Liang, Wang Jian-Min, Sun Jia-Guang. Study on the relationship between software testability and reliability. Chinese Journal of Computers, 2007, 30(6): 986-992 (in Chinese)
18. Nie Chang-Hai, Xu Bao-Wen. A minimal test suite generation method. Chinese Journal of Computers, 2003, 26(12): 1690-1695 (in Chinese)