| 基于抽象解释的C程序信息保密性研究 |
| |
| 引用本文： | 介颂园,钱俊彦,赵岭忠.基于抽象解释的C程序信息保密性研究[J].计算机工程,2010,36(24):48-50. |
| |
| 作者姓名： | 介颂园 钱俊彦 赵岭忠 |
| |
| 作者单位： | (桂林电子科技大学计算机与控制学院，广西 桂林 541004) |
| |
| 基金项目： | 国家自然科学基金资助项目，中国博士后基金资助项目，广西高等学校优秀人才资助计划基金资助项目，武汉大学软件工程国家重点实验室开放基金资助项目 |
| |
| 摘 要： | 在分析程序具体语义的基础上，提出一种信息保密性检测方法。构造具体语义和抽象语义的对应关系，根据待测程序性质构建抽象语义，同时在抽象基础上，采用限界思想来优化检测的效率。通过该方法降低程序检测的复杂性，减少时间和空间的浪费，提高了检测的效率和准确度。
|
| 关 键 词： | 信息流安全 模型检测 抽象解释 |
Study of Information Confidentiality in C Program Based on Abstract Interpretation |
| |
| JIE Song-yuan,QIAN Jun-yan,ZHAO Ling-zhong.Study of Information Confidentiality in C Program Based on Abstract Interpretation[J].Computer Engineering,2010,36(24):48-50. |
| |
| Authors: | JIE Song-yuan QIAN Jun-yan ZHAO Ling-zhong |
| |
| Affiliation: | (School of Computer and Control, Guilin University of Electronic Technology, Guilin 541004, China) |
| |
| Abstract: | Based on the analysis of the concrete semantics of programs, this paper proposes a method to detect the information privacy. It establishes corresponding relation between concrete semantics and abstract semantics, then establishes abstract semantics according to the properties of the programs to be checked, and meanwhile adopts bound methods to optimize detecting efficiency on the basis of abstraction. By this method, the complexity of program detecting is reduced, and the efficiency is raised and accuracy of detection is improved. |
| |
| Keywords: | information flow security model checking abstract interpretation |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
