基于行为的可信动态度量的状态空间约简研究

• 作者: 庄琭 沈昌祥 蔡勉
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 可信动态度量 细粒度度量 状态空间约简 行为关系 行为预期获取 网络安全 信息安全
• 年，卷（期）: 2014,（5）
• 所属期刊栏目: 安全与可信软件
• 页码范围: 1071-1081
• 页数: 11页
• 分类号: TP309
• 字数: 12190字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2014.01071

摘要

针对复杂并发计算机系统行为可信的动态度量研究中，细粒度动态度量所引发的状态空间爆炸问题一直是研究的难点。文中基于并发理论研究复杂并发计算机系统行为可信问题，在保障度量可靠性的前提下对系统状态空间进行约简，即通过标记变迁系统模型描述行为系统，通过事件结构模型研究行为关系，依据行为关系对变迁系统中各条路径进行重构，合并重构路径中相同的路径，实现变迁关系集约简，缩小状态空间。通过上述方法缓解了状态空间爆炸，并且，根据约简后的状态空间得到面向行为的可信动态度量的行为预期，增加细粒度动态度量方法在复杂系统中应用的可行性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈昌祥	北京工业大学计算机学院	37	641	13.0	24.0
3	蔡勉	北京工业大学计算机学院	22	150	8.0	11.0
5	庄琭	北京工业大学计算机学院	8	81	4.0	8.0