基于行为的可信动态度量的状态空间约简研究
针对复杂并发计算机系统行为可信的动态度量研究中，细粒度动态度量所引发的状态空间爆炸问题一直是研究的难点。文中基于并发理论研究复杂并发计算机系统行为可信问题，在保障度量可靠性的前提下对系统状态空间进行约简，即通过标记变迁系统模型描述行为系统，通过事件结构模型研究行为关系，依据行为关系对变迁系统中各条路径进行重构，合并重构路径中相同的路径，实现变迁关系集约简，缩小状态空间。通过上述方法缓解了状态空间爆炸，并且，根据约简后的状态空间得到面向行为的可信动态度量的行为预期，增加细粒度动态度量方法在复杂系统中应用的可行性。
可信动态度量、细粒度度量、状态空间约简、行为关系、行为预期获取、网络安全、信息安全
TP309(计算技术、计算机技术)
国家“九七三”重点基础研究发展规划项目基金2007CB311100;国家“八六三”高技术研究发展计划项目基金2009AA012437;国家科技重大专项基金2010ZX01037-001-001，2012ZX03002003;北京自然科学基金面上项目4122012资
2014-06-11（万方平台首次上网日期，不代表论文的发表时间）
共11页
1071-1081
