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

Chinese

您当前的位置：

首页 >

文章列表页 >

更新时间：2026-09-04

- 移动智能终端中操作系统安全监控研究及实现
- Design and Implementation of Operating System Security Monitoring of Mobile Intelligence Terminal
- 微电子学与计算机 2014年31卷第10期页码：113-116
- 作者机构：
  
  国网湖北省电力公司信息通信公司,湖北,武汉,430077
- 作者简介：
- 基金信息：
  
  智能电网移动设备信息安全督查技术研究(521520130217)
- DOI：
  中图分类号：
- 纸质出版：2014
- 稿件说明：
移动端阅览
曹波, 杨杉, 梁新建. 移动智能终端中操作系统安全监控研究及实现[J]. 微电子学与计算机, 2014, 31(10): 113-116.

CAO Bo, YANG Shan, LIANG Xin-jian. Design and Implementation of Operating System Security Monitoring of Mobile Intelligence Terminal[J]. 2014, 31(10): 113-116.
曹波, 杨杉, 梁新建. 移动智能终端中操作系统安全监控研究及实现[J]. 微电子学与计算机, 2014, 31(10): 113-116. DOI：

CAO Bo, YANG Shan, LIANG Xin-jian. Design and Implementation of Operating System Security Monitoring of Mobile Intelligence Terminal[J]. 2014, 31(10): 113-116. DOI：

提出了一种基于mini-PCI卡和语义不变式的移动智能终端操作系统内核安全监控方法:在仅仅初始安装了操作系统的机器上

通过学习获取操作系统运行过程中必须保持的语义不变式集合

将语义不变式集合作为内核运行的安全规范.然后

在FPGA快速开发原型实验板上

利用mini-PCI卡监控针对操作系统内核的每一次写操作.一旦发现有内核写操作

则将本次写操作(通过变换之后)与语义不变式集合作对比.如果与语义不变式集合中的某一个条目相符

则可以确认本次写操作是可信的

系统不做任何处理;如果不能与语义不变式集合中的任意一条项目相符

则可以判定本次写操作是不可信的

系统报警.实验证明了有效性.

A mini-PCI card and semantic invariants-based method for monitoring operating system security of mobile intelligence terminal is introduced:Firstly

inferring the semantic invariants of the operating system in the training period

and all of the semantic invariants will be used as security specifications of operating system during runtime;secondly

in the fast FPGA prototyping experiment board

a mini-PCI card is designed to monitoring modifications to kernel

and any violation against the inferred semantic invariants will be treated as an attack.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

大模型发展综述：从BERT到Deepseek的技术演进

面向处理器分支预测单元的Spectre攻击轻量化防御方法

一种用于极低压boost系统的高效率电荷泵

基于MSS-YOLO-MPHands融合架构的装配手部动作识别研究

低功耗设计的双链电源关断策略的实现与验证