基于容忍入侵的C代码安全编译技术

• 作者: 方青坡 赵秀凤
• 来源期刊: 郑州大学学报（理学版）
• 学科: 工学
• 关键词: 容忍入侵 编译 信息流
• 年，卷（期）: 2007,（2）
• 页码范围: 142-144
• 页数: 3页
• 分类号: TP3
• 字数: 1374字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-6841.2007.02.033

摘要

提出一种新的基于容忍入侵的C代码安全编译技术.建立信息流的格模型,在保证内存安全的前提下触发信息流安全机制.通过安全类型系统进行信息流的静态分析来检测程序中信息流的安全漏洞,进而保证C代码的信息流安全.

作者信息

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