期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种可推演的外设细粒度管控模型
1
作者
金俊平
杜军龙
周剑涛
《计算机工程》
CAS
CSCD
北大核心
2018年第10期80-84,共5页
针对通用Linux平台现有外设管控方法存在管控要素分析片面、管控粒度粗与管控方式不够灵活等问题,提出一种可推演的外设细粒度管控模型DCM。DCM由需求目标、受控实体、管控客体与管控策略组成,管控客体可分层嵌套复合客体,管控策略以可...
针对通用Linux平台现有外设管控方法存在管控要素分析片面、管控粒度粗与管控方式不够灵活等问题,提出一种可推演的外设细粒度管控模型DCM。DCM由需求目标、受控实体、管控客体与管控策略组成,管控客体可分层嵌套复合客体,管控策略以可扩展方式提供一套涵盖驱动预判、挂载权限和用户访问的配置库。在对DCM组成部分进行细粒度分析的基础上,给出形式化描述和推演。在Linux平台上的工程化实现结果表明,该模型具有较好的推演性与实用性。
展开更多
关键词
外设管控
推演
细粒度
管控
模型
形式化描述
在线阅读
下载PDF
职称材料
题名
一种可推演的外设细粒度管控模型
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 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种可推演的外设细粒度管控模型
金俊平
杜军龙
周剑涛
《计算机工程》
CAS
CSCD
北大核心
2018
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
