-
题名基于行为的可信动态度量的状态空间约简研究
被引量：2
- 1
-
-
作者
庄琭
沈昌祥
蔡勉
-
机构
北京工业大学计算机学院
可信计算北京市重点实验室
-
出处
《计算机学报》
EI
CSCD
北大核心
2014年第5期1071-1081,共11页
-
基金
国家"九七三"重点基础研究发展规划项目基金(2007CB311100)
国家"八六三"高技术研究发展计划项目基金(2009AA012437)
+2 种基金
国家科技重大专项基金(2010ZX01037-001-001
2012ZX03002003)
北京自然科学基金面上项目(4122012)资助~~
-
文摘
针对复杂并发计算机系统行为可信的动态度量研究中,细粒度动态度量所引发的状态空间爆炸问题一直是研究的难点.文中基于并发理论研究复杂并发计算机系统行为可信问题,在保障度量可靠性的前提下对系统状态空间进行约简,即通过标记变迁系统模型描述行为系统,通过事件结构模型研究行为关系,依据行为关系对变迁系统中各条路径进行重构,合并重构路径中相同的路径,实现变迁关系集约简,缩小状态空间.通过上述方法缓解了状态空间爆炸,并且,根据约简后的状态空间得到面向行为的可信动态度量的行为预期,增加细粒度动态度量方法在复杂系统中应用的可行性.
-
关键词
可信动态度量
细粒度度量
状态空间约简
行为关系
行为预期获取
网络安全
信息安全
-
Keywords
trusted dynamic measurement
fine grained measurement
state space reduction
behavior relationship
obtaining behavior expectation
network security
information security
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
