%0 Journal Article %T 程序的动态完整性:模型和方法 %A 吴 昊 毋国庆 %J - %D 2012 %X 在信息安全和可信计算中,程序的动态完整性是一个重要问题,特别.. %K [可信软件 %K 动态完整性模型 %K 程序行为 %K 编译器辅助 %K 代码证实 %K trusted software %K model of dynamic integrity %K program behavior %K compiler-aided %K code attestation] %U http://crad.ict.ac.cn/CN/Y2012/V49/I9/1874