RBAC模型中条件时态的研究与设计

• 作者: 周敬利 欧阳凯 董理君
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 角色访问控制 条件 时态 约束
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 软件工程
• 页码范围: 283-285,289
• 页数: 4页
• 分类号: TP3
• 字数: 2337字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2007.03.076

摘要

具有时态特征的角色访问控制(RBAC:Role Based Access Control)模型能够为RBAC控制机制提供动态的时间控制因素,是目前安全模型领域的研究热点.基于对周期理论和时态RBAC模型的研究,本文认为时态不仅能够为模型提供时间维的控制因素,而且模型中的约束也能作用于时间维形成条件时态平面的控制因素,从而能够进一步提高模型控制的灵活性和多样性.为此,本文提出了条件周期表达式和条件时态的概念,形式化描述了条件时态语义;并通过条件周期事件和角色状态在条件周期下的断言详细论述了条件时态.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周敬利	华中科技大学计算机学院系统结构系	248	2424	23.0	36.0
2	欧阳凯	武汉科技大学计算机学院	7	28	4.0	5.0
3	董理君	华中科技大学计算机学院系统结构系	9	50	4.0	7.0