C Code Safe Compilation Based on Intrusion Tolerance
Fang Qing-po · Journal of Zhengzhou University · 2007
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.