源程序语义检测的稳定模型分析方法

摘要：

基于逻辑程序及其稳定模型的理论,提出一种源程序语义检测的稳定模型分析方法.该方法从源程序中提取关键语句图,将安全知识规则转换为一个逻辑程序,再用关键语句图去实例化该逻辑程序,最后求解其稳定模型得到源程序的安全性评价.该方法体现了源程序丰富的语义,具有较好的可扩展性.

关键词：逻辑程序、语义检测、KSG图

所属期刊栏目：32

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金90204011;湖北省科技攻关项目2004AA101C01

在线出版日期：2006-08-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：96-98