计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
1期
101-103,114
,共4页
张帆%江敏%吴怀广%徐明迪
張帆%江敏%吳懷廣%徐明迪
장범%강민%오부엄%서명적
可信计算%完整性度量%无干扰%信息流
可信計算%完整性度量%無榦擾%信息流
가신계산%완정성도량%무간우%신식류
软件动态行为度量是可信计算必须要解决的核心问题之一.解决这个问题有两个关键步骤:第一,对软件动态行为进行行为建模；第二,对建模后的软件动态行为进行行为可信性分析.针对第二步,即建模完成后的行为可信性分析问题进行了研究,提出一种基于无干扰的软件动态行为可信性分析方法,并从理论上给出了行为可信性判定定理.
軟件動態行為度量是可信計算必鬚要解決的覈心問題之一.解決這箇問題有兩箇關鍵步驟:第一,對軟件動態行為進行行為建模；第二,對建模後的軟件動態行為進行行為可信性分析.針對第二步,即建模完成後的行為可信性分析問題進行瞭研究,提齣一種基于無榦擾的軟件動態行為可信性分析方法,併從理論上給齣瞭行為可信性判定定理.
연건동태행위도량시가신계산필수요해결적핵심문제지일.해결저개문제유량개관건보취:제일,대연건동태행위진행행위건모；제이,대건모후적연건동태행위진행행위가신성분석.침대제이보,즉건모완성후적행위가신성분석문제진행료연구,제출일충기우무간우적연건동태행위가신성분석방법,병종이론상급출료행위가신성판정정리.
