[1]卓卓为 鱼滨.基于SPIN的CSCW系统的验证[J].计算机技术与发展,2008,(04):9-12.
　SHAN Zhuo-wei,YU Bin.Using SPIN to Validate CSCW System[J].,2008,(04):9-12.
点击复制

基于SPIN的CSCW系统的验证()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2008年04期
页码:
9-12
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Using SPIN to Validate CSCW System
文章编号:
1673-629X（2008）04-0009-04
作者:
卓卓为1 鱼滨2
[1]西北大学信息学院计算机系[2]西安电子科技大学计算机学院
Author(s):
SHAN Zhuo-wei;  YU Bin
[1]Department of Computer Science, School of Information, Northwest University[2]School of Computer Science and Engineering, Xidian University
关键词:
CSCW; 角色访问控制; 时序逻辑; 模型检测; SPIN
Keywords:
CSCW; RBAC; temporary logic;  model checking;  SPIN
分类号:
TP311
文献标志码:
A
摘要:
近年来，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 vali

相似文献/References:

[1]徐金芳 张永胜.普适计算环境中的访问安全性研究[J].计算机技术与发展,2009,(03):161.
　XU Jin-fang,ZHANG Yong-sheng.Study the Security of Access Control in Pervasive Computing Environment[J].,2009,(04):161.
[2]谷玉奎 曹宝香 袁玉珠.基于SOA的通用权限管理服务[J].计算机技术与发展,2008,(06):70.
　GU Yu-kui,CAO Bao-xiang,YUAN Yu-zhu.Universally Privilege Management Based on SOA[J].,2008,(04):70.
[3]郑祥华 刘弘 宋承祥.基于ObjectARX和DCOM实现协同设计研究[J].计算机技术与发展,2006,(01):108.
　ZHENG Xiang-hua,LIU Hong,SONG Cheng-xiang.Research on AutoCAD Cooperative Design Based on ObjectARX and DCOM[J].,2006,(04):108.
[4]王学力 陈新.混合式应用共享技术的研究[J].计算机技术与发展,2007,(03):196.
　WANG Xue-li,CHEN Xin.Study in Technology of Composite Application Sharing[J].,2007,(04):196.

备注/Memo

备注/Memo:
国家自然科学基金重点项目（60433010）卓卓为（1980-），男，河南周口人，硕士研究生，主要研究方向为软件工程、形式化验证；鱼滨,副教授，硕士生导师,主要研究方向为分布式应用、中间件技术、时态逻辑
更新日期/Last Update: 1900-01-01