中文摘要：

TAN Liang （ 谭良） was born in Sichuan Province, China, in 1973. He received the M.E. degree from the University of Electric Science and Technology of China （UESTC）, Chengdu, in 2003. He is currently pursuing the Ph.D. degree with the Department of Computer Science and Engineering, UESTC. His research interests include information security, software engineering, and so on. ZHOU Ming-tian （周明天） was born in Guangxi Province, China, in 1939. He is currently a professor with UESTC. His research interests include information security, software engineering, middleware, and so on.