-
题名一种可推演的外设细粒度管控模型
- 1
-
-
作者
金俊平
杜军龙
周剑涛
-
机构
江西省信息中心
-
出处
《计算机工程》
CAS
CSCD
北大核心
2018年第10期80-84,共5页
-
基金
国家高技术研究发展计划"大规模空间数据融合分析关键技术与应用服务"(2014AA123001)
-
文摘
针对通用Linux平台现有外设管控方法存在管控要素分析片面、管控粒度粗与管控方式不够灵活等问题,提出一种可推演的外设细粒度管控模型DCM。DCM由需求目标、受控实体、管控客体与管控策略组成,管控客体可分层嵌套复合客体,管控策略以可扩展方式提供一套涵盖驱动预判、挂载权限和用户访问的配置库。在对DCM组成部分进行细粒度分析的基础上,给出形式化描述和推演。在Linux平台上的工程化实现结果表明,该模型具有较好的推演性与实用性。
-
关键词
外设管控
推演
细粒度
管控模型
形式化描述
-
Keywords
peripheral device control
deduction
fine-grained
control model
formal description
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名受控环境下的智能终端外设自动管控方法设计
被引量:1
- 2
-
-
作者
汪洋
王雅哲
-
机构
中国科学院信息工程研究所互联网智能设备信息安全北京市工程实验室
-
出处
《网络新媒体技术》
2017年第6期35-41,共7页
-
基金
中国科学院青年创新促进会专项资助(1105CX0105)
-
文摘
如今我们的生活中出现了很多智能终端以及各种传感器等外设,给我们的办公安全带来了严重挑战,需要对其进行管控。本文提出了一种对智能终端进行远程检测、管理的方案。利用ARM芯片的可信执行环境以及海云协同计算思维,支持对智能终端进行远程检测、远程设置,同时支持在部分场合下对智能终端的外设进行管控、限制,保证我们在使用智能终端时的安全性。在系统实现上,在imx6Q核心板和Android系统上实现了平台原型。
-
关键词
智能终端安全
可信执行环境
外设管控
海云协同
-
Keywords
Intelligent hardware security, TrustZone, Peripherals Control, Sea- cloud coordinative computing
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-