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

【Abstract】 Recently,CSCW system has shown a development tendency which has more users,more complex permission connection,larger configuration dimension,and more complicated cases to deal with.Consequently,the accessing control policy of CSCW system and the validation of it have become quite study-worthy topics in and out of China.Focusing on the design traits of CSCW system,has proposed one validation tactic of CSCW system.Researchers illustrate this validation tactic with examples,use RBAC model to depict the accessing control permission of CSCW system,and use the SPIN tool to apply model check to validate the attribute of CSCW system.更多还原