| 一种基于嵌入式系统的安全处理器研究与实现 |
| |
| 引用本文： | 夏冰,白永红,郑秋生.一种基于嵌入式系统的安全处理器研究与实现[J].中原工学院学报,2009,20(4):19-22,46. |
| |
| 作者姓名： | 夏冰 白永红 郑秋生 |
| |
| 作者单位： | 中原工学院,郑州,450007 |
| |
| 基金项目： | 河南省科技攻关计划项目，河南省自然科学基金项目 |
| |
| 摘 要： | 提出一种在处理器运行过程中加入安全因子的解决方案,设计并实现了为上层可执行程序提供安全运行时系统环境的虚拟机系统,以缓冲区溢出为例,验证了方案的可行性,并利用自然推理系统给出了正确性证明.
|
| 关 键 词： | 运行时系统 处理器 虚拟机 安全因子 |
Research and Implementation of a Security Processor Based on Embedded Systems |
| |
| XIA Bing,BAI Yong-hong,ZHENG Qiu-sheng.Research and Implementation of a Security Processor Based on Embedded Systems[J].Journal of Zhongyuan Institute of Technology,2009,20(4):19-22,46. |
| |
| Authors: | XIA Bing BAI Yong-hong ZHENG Qiu-sheng |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
