使用控制授权模型的逻辑定义研究

摘要：

通过引入授权和可变属性,使用控制授权模型具有了新的特性.针对这种新特性,以集合论为主要工具,对使用控制(UCON)模型结构进行了简单的介绍,并给出了逻辑模型定义;重点对使用控制授权模型进行了系统的逻辑分析,对该模型的八种不同结构分别做出了逻辑定义,并列举了相应的实例.

关键词：使用控制模型、使用控制授权模型、集合论、逻辑定义、实例

所属期刊栏目：29

分类号：TP301;TP309(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60503016

在线出版日期：2009-10-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：2360-2362,2374