基于SPIN的CSCW系统的验证

作     者：单卓为 鱼滨 SHAN Zhuo-wei;YU Bin

作者机构：西北大学信息学院计算机系陕西西安710127 西安电子科技大学计算机学院陕西西安710071 

基　　金：国家自然科学基金重点项目(60433010) 

出 版 物：《计算机技术与发展》 (Computer Technology and Development)

年 卷 期：2008年第18卷第4期

页      码：9-12,15页

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

主 题 词：CSCW 角色访问控制 时序逻辑 模型检测 SPIN 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1673-629X.2008.04.003

馆 藏 号：203932633...