论文部分内容阅读
在信息安全和可信计算中，程序的动态完整性是一个重要问题，特别是无线传感器网络、云计算平台等这一类开放松耦合环境下，怎样度量程序行为的动态完整性的问题尤为突出．基于硬件的可信计算技术和代码证实技术等都没有解决具体行为的动态性度量这个问题，部分原因是缺少一个动态完整性的模型和相应的理论．针对上述问题，在分析了对程序动态完整性安全的威胁基础之上，提出了一个基于密码学的动态完整性理论模型，该模型刻画了程序动态完整性安全的各个要素．基于该模型提出了编译器辅助的流嵌入法，给出了此方法的示例，并分析了此方法的安全性和效