• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

Zhuang, Lu (Zhuang, Lu.) | Shen, Chang-Xiang (Shen, Chang-Xiang.) | Cai, Mian (Cai, Mian.)

收录:

EI Scopus PKU CSCD

摘要:

In research on dynamic measurement of behavior trustworthiness of complex concurrent computer systems, how to solve state space explosion caused by fine grained dynamic measurement is a difficult point up to the present. Based on concurrency theory, we researched behavior trustworthiness of complex concurrent computer system and reduced the state space on the premise of ensuring reliability of measurement. We described behavior system through the model of Labeled Transition System and researched behavior relationship through the model of event structure, then we reconstructed all paths in the transition system according to the behavior relationship and combined like paths in order to reduce the set of transition relations and narrow the state space. The situation of state space explosion can be relaxed through the methods mentioned above and meanwhile, the behavior expectation of trusted dynamic measurement can be obtained according to the reduced state space, which enhances the feasibility of the method of fine grained trusted dynamic measurement applied in a complex system.

关键词:

Behavioral research Complex networks Network security Reliability theory Security of data Trusted computing

作者机构:

  • [ 1 ] [Zhuang, Lu]College of Computer Science and Technology, Beijing University of Technology, Beijing 100124, China
  • [ 2 ] [Zhuang, Lu]Beijing Municipal Key Laboratory of Trusted Computing, Beijing 100124, China
  • [ 3 ] [Shen, Chang-Xiang]College of Computer Science and Technology, Beijing University of Technology, Beijing 100124, China
  • [ 4 ] [Shen, Chang-Xiang]Beijing Municipal Key Laboratory of Trusted Computing, Beijing 100124, China
  • [ 5 ] [Cai, Mian]College of Computer Science and Technology, Beijing University of Technology, Beijing 100124, China
  • [ 6 ] [Cai, Mian]Beijing Municipal Key Laboratory of Trusted Computing, Beijing 100124, China

通讯作者信息:

电子邮件地址:

查看成果更多字段

相关关键词:

相关文章:

来源 :

Chinese Journal of Computers

ISSN: 0254-4164

年份: 2014

期: 5

卷: 37

页码: 1071-1081

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次: 4

ESI高被引论文在榜: 0 展开所有

万方被引频次:

中文被引频次:

近30日浏览量: 2

在线人数/总访问数:907/2990158
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司