基于不变量的程序运行保护方法  

Approach to protecting program running based on program invariants

作　　者：王勇[1] 曾庆凯[1] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室,江苏南京210093,南京大学计算机科学与技术系

出　　处：《计算机工程与设计》2008年第5期1069-1071,1075,共4页Computer Engineering and Design

基　　金：国家自然科学基金项目(60473053);国家863高技术研究发展计划基金项目(2006AA01Z432);江苏省自然科学基金项目(BK2005074)

摘　　要：程序不变量反映了程序在特定点上的安全属性,可以作为运行保护时的监控对象。提出了一种程序运行保护方法,通过动态监控程序不变量,保护程序安全运行。该方法根据检测出的程序不变量,配置程序保护策略。运行环境支持对程序插装保护代码,执行保护策略。实验表明方法是有效的且使用方便,保护带来的性能损失不大。Program invariants show the program properties at certain points. An approach to protecting program at runtime by monitoring program invariants is proposed. This approach configures protection strategies according to the detected invariants. The running environment supports protecting code instrumentation to execute protection strategies. The experiments show that this approach is effective, wieldy, and with less loss in performance.

关 键 词：程序不变量 动态监控 运行保护 保护策略 保护代码 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]