计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2012年
9期
1874-1882
,共9页
可信软件%动态完整性模型%程序行为%编译器辅助%代码证实
可信軟件%動態完整性模型%程序行為%編譯器輔助%代碼證實
가신연건%동태완정성모형%정서행위%편역기보조%대마증실
在信息安全和可信计算中,程序的动态完整性是一个重要问题,特别是无线传感器网络、云计算平台等这一类开放松耦合环境下,怎样度量程序行为的动态完整性的问题尤为突出.基于硬件的可信计算技术和代码证实技术等都没有解决具体行为的动态性度量这个问题,部分原因是缺少一个动态完整性的模型和相应的理论.针对上述问题,在分析了对程序动态完整性安全的威胁基础之上,提出了一个基于密码学的动态完整性理论模型,该模型刻画了程序动态完整性安全的各个要素.基于该模型提出了编译器辅助的流嵌入法,给出了此方法的示例,并分析了此方法的安全性和效率,最后讨论了编译器支持的相关问题,解决了动态完整性的理论和方法中的部分问题.
在信息安全和可信計算中,程序的動態完整性是一箇重要問題,特彆是無線傳感器網絡、雲計算平檯等這一類開放鬆耦閤環境下,怎樣度量程序行為的動態完整性的問題尤為突齣.基于硬件的可信計算技術和代碼證實技術等都沒有解決具體行為的動態性度量這箇問題,部分原因是缺少一箇動態完整性的模型和相應的理論.針對上述問題,在分析瞭對程序動態完整性安全的威脅基礎之上,提齣瞭一箇基于密碼學的動態完整性理論模型,該模型刻畫瞭程序動態完整性安全的各箇要素.基于該模型提齣瞭編譯器輔助的流嵌入法,給齣瞭此方法的示例,併分析瞭此方法的安全性和效率,最後討論瞭編譯器支持的相關問題,解決瞭動態完整性的理論和方法中的部分問題.
재신식안전화가신계산중,정서적동태완정성시일개중요문제,특별시무선전감기망락、운계산평태등저일류개방송우합배경하,즘양도량정서행위적동태완정성적문제우위돌출.기우경건적가신계산기술화대마증실기술등도몰유해결구체행위적동태성도량저개문제,부분원인시결소일개동태완정성적모형화상응적이론.침대상술문제,재분석료대정서동태완정성안전적위협기출지상,제출료일개기우밀마학적동태완정성이론모형,해모형각화료정서동태완정성안전적각개요소.기우해모형제출료편역기보조적류감입법,급출료차방법적시례,병분석료차방법적안전성화효솔,최후토론료편역기지지적상관문제,해결료동태완정성적이론화방법중적부분문제.
