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

摘要：

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

关键词：运行时系统、处理器、虚拟机、安全因子

所属期刊栏目：20

分类号：TP391(计算技术、计算机技术)

资助基金：河南省科技攻关计划项目092102310038;河南省自然科学基金项目082102210082

在线出版日期：2009-11-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：19-22,46