基于信息流分析的C代码安全编译技术研究

摘要：

提出一种新的基于信息流分析的C代码安全编译技术.建立信息流的格模型,通过安全类型系统进行信息流的静态分析来检测程序中信息流的安全漏洞,进而保证C代码的信息流安全.

关键词： 信息流 安全 编译 类型系统

作者: 赵秀凤 郭渊博 方青坡

作者单位: 解放军信息工程大学,电子技术学院,河南,郑州,450004

会议类型: 国内会议

会议名称: 2006年全国开放式分布与并行计算学术会议

会议地点: 西安

会议语种:中文

页码: 152-153

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