一种可推演的外设细粒度管控模型
来源：计算机工程杂志2018年第10期北京时间：
作者：金俊平,杜军龙,周剑涛
单位：江西省信息中心,南昌 330001
摘要：针对通用Linux平台现有外设管控方法存在管控要素分析片面、管控粒度粗与管控方式不够灵活等问题,提出一种可推演的外设细粒度管控模型DCM。DCM由需求目标、受控实体、管控客体与管控策略组成,管控客体可分层嵌套复合客体,管控策略以可扩展方式提供一套涵盖驱动预判、挂载权限和用户访问的配置库。在对DCM组成部分进行细粒度分析的基础上,给出形式化描述和推演。在Linux平台上的工程化实现结果表明,该模型具有较好的推演性与实用性。
关键词：外设管控,推演,细粒度,管控模型,形式化描述
基金资助：国家高技术研究发展计划“大规模空间数据融合分析关键技术与应用服务”(2014AA123001)。
