移动智能终端中操作系统安全监控研究及实现

• 作者: 曹波 杨杉 梁新建
• 来源期刊: 微电子学与计算机
• 关键词: 移动智能终端 操作系统安全 语义不变式
• 年，卷（期）: 2014,（10）
• 页码范围: 113-116
• 页数: 4页
• 分类号: TP309
• 语种: 中文

摘要

提出了一种基于mini-PCI卡和语义不变式的移动智能终端操作系统内核安全监控方法：在仅仅初始安装了操作系统的机器上，通过学习获取操作系统运行过程中必须保持的语义不变式集合，将语义不变式集合作为内核运行的安全规范。然后，在FPGA快速开发原型实验板上，利用mini-PCI卡监控针对操作系统内核的每一次写操作。一旦发现有内核写操作，则将本次写操作（通过变换之后）与语义不变式集合作对比。如果与语义不变式集合中的某一个条目相符，则可以确认本次写操作是可信的，系统不做任何处理；如果不能与语义不变式集合中的任意一条项目相符，则可以判定本次写操作是不可信的，系统报警。实验证明了有效性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹波		7	34	2.0	5.0
2	杨杉		12	19	3.0	3.0
3	梁新建		1	2	1.0	1.0