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

C Code Safe Compilation Based on Intrusion Tolerance

作　　者：赵秀凤[1] 方青坡[1] 

机构地区：[1]解放军信息工程大学电子技术学院,郑州450004

出　　处：《郑州大学学报（理学版）》2007年第2期142-144,共3页Journal of Zhengzhou University:Natural Science Edition

摘　　要：提出一种新的基于容忍入侵的C代码安全编译技术.建立信息流的格模型,在保证内存安全的前提下触发信息流安全机制.通过安全类型系统进行信息流的静态分析来检测程序中信息流的安全漏洞,进而保证C代码的信息流安全.A new C code safe compilation based on intrusion tolerance is proposed. The lattice model of information flow is built and its safety mechanism is triggered on the premise of memory safety. The security leaks of information flow are checked by safe type system, and C code information flow security is achieved accordingly.

关 键 词：容忍入侵 编译 信息流 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]