基于SPIN的CSCW系统的验证

• 作者: 单卓为 鱼滨
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: CSCW 角色访问控制 时序逻辑 模型检测 SPIN
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 9-12,15
• 页数: 5页
• 分类号: TP311
• 字数: 2803字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2008.04.003

摘要

近年来,CSCW系统呈现出用户越来越多、权限关系越来越复杂、组织结构规模越来越大、处理的情况越来越复杂的趋势.因此,CSCW系统的访问控制策略以及访问控制策略的验证已成为国内外CSCW领域十分值得研究和探讨的问题.针对CSCW系统设计的特点,提出了一种验证策略.结合具体实例,使用RBAC模型描述CSCW系统的访问控制权限,利用SPIN工具将模型检测应用于验证CSCW系统属性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	鱼滨	西安电子科技大学计算机学院	20	126	7.0	10.0
2	单卓为	西北大学信息学院计算机系	1	8	1.0	1.0