基于行为的可信动态度量的状态空间约简研究-计算机学报.PDF

第卷第期 计 算 机 学 报 ３７ ５ 　 　　　　　　　　 Ｖｏｌ．３７Ｎｏ．５ 年月 ２０１４５ Ｍａ２０１４ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ ｙ 　 基于行为的可信动态度量的状态空间约简研究 庄?沈昌祥蔡勉 　 　 （北京工业大学计算机学院北京 ） １００１２４ 　 　 （可信计算北京市重点实验室北京 ） １００１２４ 　 　 摘要针对复杂并发计算机系统行为可信的动态度量研究中，细粒度动态度量所引发的状态空间爆炸问题一直 　　 是研究的难点文中基于并发理论研究复杂并发计算机系统行为可信问题，在保障度量可靠性的前提下对系统状 ． 态空间进行约简，即通过标记变迁系统模型描述行为系统，通过事件结构模型研究行为关系，依据行为关系对变迁 系统中各条路径进行重构，合并重构路径中相同的路径，实现变迁关系集约简，缩小状态空间通过上述方法缓解 ． 了状态空间爆炸，并且，根据约简后的状态空间得到面向行为的可信动态度量的行为预期，增加细粒度动态度量方 法在复杂系统中应用的可行性． 关键词可信动态度量；细粒度度量；状态空间约简；行为关系；行为预期获取；网络安全；信息安全 　 中图法分类号 号 ／ ＴＰ３０９ 犇犗犐１０．３７２４ＳＰ．Ｊ．１０１６．２０１４．０１０７１ 　　　 犚犲狊犲犪狉犮犺狅狀犛狋犪狋犲犛犪犮犲犚犲犱狌犮狋犻狅狀狅犳犅犲犺犪狏犻狅狉犅犪狊犲犱犜狉狌狊狋犲犱 狆 犇狀犪犿犻犮犕犲犪狊狌狉犲犿犲狀狋 狔 ＺＨＵＡＮＧＬｕＳＨＥＮＣｈａｎＸｉａｎＣＡＩＭｉａｎ 　 　 ｇ ｇ （ ， ， ） 犆狅犾犾犲犲狅犆狅犿狌狋犲狉犛犮犻犲狀犮犲犪狀犱犜犲犮犺狀狅犾狅犅犲犻犻狀犝狀犻狏犲狉狊犻狋狅犜犲犮犺狀狅犾狅犅犲犻犻狀１００１２４ 　 犵犳 狆 犵狔 犼犵 狔犳 犵狔 犼犵 （ ， ） 犅犲犻犻狀犕狌狀犻犮