一种基于嵌入式系统的安全处理器研究与实现
夏冰
白永红
郑秋生
1.中原工学院,郑州,4500072.中原工学院,郑州,4500073.中原工学院,郑州,450007
摘要：提出一种在处理器运行过程中加入安全因子的解决方案,设计并实现了为上层可执行程序提供安全运行时系统环境的虚拟机系统,以缓冲区溢出为例,验证了方案的可行性,并利用自然推理系统给出了正确性证明.
关键词：运行时系统处理器虚拟机安全因子
分类号：TP391(计算技术、计算机技术)
资助基金：河南省科技攻关计划项目(092102310038)河南省自然科学基金项目(082102210082)
论文发表日期：2009-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 19-22,46 )
英文信息