摘要： 针对通用Linux平台现有外设管控方法存在管控要素分析片面、管控粒度粗与管控方式不够灵活等问题,提出一种可推演的外设细粒度管控模型DCM。DCM由需求目标、受控实体、管控客体与管控策略组成,管控客体可分层嵌套复合客体,管控策略以可扩展方式提供一套涵盖驱动预判、挂载权限和用户访问的配置库。在对DCM组成部分进行细粒度分析的基础上,给出形式化描述和推演。在Linux平台上的工程化实现结果表明,该模型具有较好的推演性与实用性。

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

Abstract: 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.

Key words: peripheral device control;deduction, fine-grained, control model, formal description

中图分类号: 

• TP311