中文摘要：

To whom correspondence should be addressed. E-mail： hymao@ sei. ecnu. edu. cn Mao Hongyan, born in 1978. She received her PhD degree in Computer Science Department of Shanghai JiaoTong University in 2006. Now she is a teacher in East China Normal University. Her research inter- ests include distributed computing, trust computing and formalization.