基于抽象解释的C程序信息保密性研究

• 作者: 介颂园 赵岭忠 钱俊彦
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 信息流安全 模型检测 抽象解释
• 年，卷（期）: 2010,（24）
• 页码范围: 48-50
• 分类号: TP311.5
• 字数: 4806字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.24.017

摘要

在分析程序具体语义的基础上,提出一种信息保密性检测方法.构造具体语义和抽象语义的对应关系,根据待测程序性质构建抽象语义,同时在抽象基础上,采用限界思想来优化检测的效率.通过该方法降低程序检测的复杂性,减少时间和空间的浪费,提高了检测的效率和准确度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱俊彦	桂林电子科技大学计算机与控制学院	86	238	9.0	10.0
2	介颂园	桂林电子科技大学计算机与控制学院	2	2	1.0	1.0
3	赵岭忠	桂林电子科技大学计算机与控制学院	64	229	8.0	11.0