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

• 作者: 方青坡 赵秀凤 郭渊博
• 来源期刊: 微电子学与计算机
• 关键词: 信息流 安全 编译 类型系统
• 年，卷（期）: 2006,（z1）
• 页码范围: 152-153
• 页数: 2页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2006.z1.053

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭渊博	解放军信息工程大学电子技术学院	76	462	13.0	17.0
2	赵秀凤	解放军信息工程大学电子技术学院	9	18	2.0	4.0
3	方青坡	解放军信息工程大学电子技术学院	2	0	0.0	0.0