一种可推演的外设细粒度管控模型  

A Deductive Peripheral Device Fine-grained Control Model

作　　者：金俊平[1] 杜军龙[1] 周剑涛 JIN Junping;DU Junlong;ZHOU Jiantao(Jiangxi Information Center,Nanchang 330001,China)

机构地区：[1]江西省信息中心,南昌330001

出　　处：《计算机工程》2018年第10期80-84,共5页Computer Engineering

基　　金：国家高技术研究发展计划"大规模空间数据融合分析关键技术与应用服务"(2014AA123001)

摘　　要：针对通用Linux平台现有外设管控方法存在管控要素分析片面、管控粒度粗与管控方式不够灵活等问题,提出一种可推演的外设细粒度管控模型DCM。DCM由需求目标、受控实体、管控客体与管控策略组成,管控客体可分层嵌套复合客体,管控策略以可扩展方式提供一套涵盖驱动预判、挂载权限和用户访问的配置库。在对DCM组成部分进行细粒度分析的基础上,给出形式化描述和推演。在Linux平台上的工程化实现结果表明,该模型具有较好的推演性与实用性。For common Linux platforms,the existing peripheral device control methods have the problems that the control factor analysis is one-sided,the control grain size coarse,the control way is not flexible enough,etc.This paper proposes a deductive peripheral Device Control Model(DCM)supporting fine-grained.DCM consists of requirement goal,controlled entity,control object and control strategy.Control object can be layered nested compound object.The control policy provides a set of configuration libraries that cover driver prejudgment,mount permissions,and user access in an extensible manner.On the basis of fine-grained analysis of components of DCM,the formal description and deduction are given.The engineering implementation of the Linux platform confirms its good deduction and practicality.

关 键 词：外设管控 推演 细粒度 管控模型 形式化描述 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]