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