使用控制理论及用研究.pdf

摘要 摘要 计算机及Intemet技术的不断发展使得以计算机及其网络为核心的信息系统 成为现代社会不可或缺的内容。但是信息系统在安全方面还存在很多挑战。访问 控制是信息安全领域一项重要的应用基础，是保证信息安全的核心策略之一。 使用控制ucoN(usageContr01)是下一代的访问控制模型，具有很多优点， 但是存在面向应用不足的缺点。本文的核心就是通过将UCON模型转化为面向 应用的形式化建模框架来解决这一问题。 首先回顾了访问控制的历史，分析了传统访问控制的不足，由此引出下一代 访问控制模型—．UCON，并对其进行了系统的研究，同时根据实践的结果对其提 出了改进。 针对UCON不能很好地指导现实系统安全访问控制的问题，在结合UCON核 心概念的基础上提出了一种面向应用建模的访问控制模型一基于DDL(Dynamic Description 型、基于DDL的UCON义务模型、基于DDL的UCON条件模型。在模型中，不仅 提供了授权相关领域知识的建模过程，还提供了结合UCON策略的动态授权推理 方法及过程。由于DDL自身的优点，基于DDL的UCON模型能够充分描述授权过 程中的各个决定要素，提供可判定的推理服务，为进一步实现UCON模型提供了 良好的逻辑建模基础。 为了将DDL弓!入UCoN模型进行面向应用建模，本文对DDL理论及其应用进 行了较为深入的研究。DDL结合了描述逻辑与动作理论，解决了描述逻辑对服务 过程方面建模与推理不足的问题。 在上述研究的基础上，将基于DDL的UCON模型应用于企业信息管理中的安 全访问控制，解决了层次组织中信息安全存在的若干问题。 关键词：访问控制，使用控制，DDL，应用建模 Abstract Abstract Witllthe of andintemet developmentcomputer technology,informationsystem basedon andintemet the into elementofmodem computer grows key society． informationdomainofinformationhasmuch However,thesecurity system challenge。 Accesscontrolisan ininformation isone importantapplication securitydomain，and ofthe which information pivotalpoliciesassuring system security． Controlisthenext accesscontrol hasmuch Usage generational model，and couldn’tresolvesome in this advantages．However,it problemsapplication．In paper, we resolvesuch UCONintoformalframework mainly problemthroughtransfo