一种基于嵌入式系统的安全处理器研究与实现

Research and Implementation of a Security Processor Based on Embedded Systems

提出一种在处理器运行过程中加入安全因子的解决方案,设计并实现了为上层可执行程序提供安全运行时系统环境的虚拟机系统,以缓冲区溢出为例,验证了方案的可行性,并利用自然推理系统给出了正确性证明.

This paper presents a solution adding the safety factor to running-time environments. A virtual machine which can provide secure environments is designed and implemented. As an example to buffer overflow, the feasibility of the virtual machine is verified.