| 移动智能终端中操作系统安全监控研究及实现 |
| |
| 引用本文： | 曹波,杨杉,梁新建.移动智能终端中操作系统安全监控研究及实现[J].微电子学与计算机,2014(10). |
| |
| 作者姓名： | 曹波 杨杉 梁新建 |
| |
| 作者单位： | 国网湖北省电力公司信息通信公司,湖北武汉,430077 |
| |
| 基金项目： | 智能电网移动设备信息安全督查技术研究 |
| |
| 摘 要： | 提出了一种基于mini-PCI卡和语义不变式的移动智能终端操作系统内核安全监控方法:在仅仅初始安装了操作系统的机器上,通过学习获取操作系统运行过程中必须保持的语义不变式集合,将语义不变式集合作为内核运行的安全规范.然后,在FPGA快速开发原型实验板上,利用mini-PCI卡监控针对操作系统内核的每一次写操作.一旦发现有内核写操作,则将本次写操作(通过变换之后)与语义不变式集合作对比.如果与语义不变式集合中的某一个条目相符,则可以确认本次写操作是可信的,系统不做任何处理;如果不能与语义不变式集合中的任意一条项目相符,则可以判定本次写操作是不可信的,系统报警.实验证明了有效性.
|
| 关 键 词： | 移动智能终端 操作系统安全 语义不变式 |
Design and Implementation of Operating System Security Monitoring of Mobile Intelligence Terminal |
| |
| CAO Bo,YANG Shan,LIANG Xin-jian.Design and Implementation of Operating System Security Monitoring of Mobile Intelligence Terminal[J].Microelectronics & Computer,2014(10). |
| |
| Authors: | CAO Bo YANG Shan LIANG Xin-jian |
| |
| Abstract: | |
| |
| Keywords: | mobile intelligence operating system security semantic invariants |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
