安全组管理模型研究

• 作者: 周伟 尹青 王清贤
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 安全组管理 组状态 形式模型 组策略 Z Notation语言
• 年，卷（期）: 2005,（8）
• 页码范围: 12-14,20
• 页数: 4页
• 分类号: TP3
• 字数: 2697字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2005.08.003

摘要

形式化方法是研究复杂管理系统的有用工具.本文提出一个基于状态的安全组管理形式模型,采用ZNotation语言描述.安全组是共享组密钥的授权成员的集合,本文不是直接定义安全组而是定义组状态,组状态是某一时刻的组安全上下文,组的安全性和可靠性描述为某时刻组状态的性质.组管理过程是事件触发的组状态的变换过程,其终极目标是保证组在任一个稳定时刻都处于安全状态,但完全安全是不可能的.本文给出一个组策略框架,在此框架下提出安全组管理行为规则,并说明根据规则组状态转换过程满足安全策略约束.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王清贤	信息工程学院计算机系	64	397	11.0	16.0
2	周伟	信息工程学院计算机系	13	62	4.0	7.0
3	尹青	信息工程学院计算机系	22	90	5.0	9.0