【摘 要】
：
针对多用户环境中协作权限动态分配与回收，及可靠性验证问题，提出基于活动、角色的协作权限动态管理机制，采用赋色Pe砸网建立形式化模型并分析．该模型将共享的协作文档和视图空间
【机 构】
：
长安大学信息工程学院计算机系,西安交通大学系统工程研究所
论文部分内容阅读
针对多用户环境中协作权限动态分配与回收，及可靠性验证问题，提出基于活动、角色的协作权限动态管理机制，采用赋色Pe砸网建立形式化模型并分析．该模型将共享的协作文档和视图空间按照活动序列划分，角色的分配、回收与活动相关联，解决了传统访问控制中授权用户对访问对象具有持久权限的问题．最后，基于状态空间的分析表明，该模型能够实现活动依赖关系，活动角色绑定可达性及协作权限申请中死锁避免等约束条件的验证，能够满足协同设计中变化频繁的协作权限访问控制需求．
其他文献
随着我国经济的发展，建筑行业也得到了飞速的发展，但是随着建筑行业的发展，建筑质量也成为了我们最为关注的焦点。因为建筑质量影响着我们的人身安全，而影响建筑工程施工质量的因
工程造价与施工企业的经济效益紧密相关，所以建筑施工企业必须加强工程造价管理。投标时，遵循宏观调控规律，发挥企业的主观能动性，加强自我测算，编制出先进的企业定额，合理确定工程
最近几年，我国城市道路交通网络不断优化，每年我国都会建设大量的桥梁工程，这些工程在完善我国道路交通路网，方便交通运输方面发挥着十分重要的作用。道路工程施工过程中，经常会涉
在目标识别中,人眼并不凝视整幅图像,为了获得更多图像信息,人眼会在不同区域中进行凹点(foveation points)检测.然而,从某些方向上获得的凹点对实际目标的识别可能是无用或
城市化进程的加快，使得建筑行业得到了新的发展机遇，建筑形式也逐渐呈现出高层化和集中化的特点。在现代建筑工程施工中，深基坑施工是重要的一项内容，深基坑工程支护施工是建筑工
微粒群算法(PSO)是一种随机群体优化算法,相对于遗传算法等其它的进化算法,它模型简单、操作参数少、智能程度高、运算速度快,已受到许多相关领域学者的关注与研究.但是,标准
在当前我国经济发展的趋势下，人们越来越关心路面行驶的安全性和舒适性，因此对于公路建设水平的提高是人们越来越期待的，由于车辆行驶速度的提高，与之对应的路面也要满足其高速行
一、体型外貌和习性rn原产于法国的朗德鹅,就羽毛颜色分白色、灰色2个品系.我国引进的是灰色品系(见题图).与中国鹅比较,朗德鹅的喙小、尖、短,色桔红,喙前端略淡.头顶几乎无
一、品牌鱼凸显魅力rn2006年,福寿螺事件、多宝鱼事件、孔雀石绿事件接连发生,养殖户遭受严重打击,个别产业更是奄奄一息.同年12月份,决心打造“中国第一品牌鱼”的通威集团
水闸工程在水利水电工程施工建设中占据着关键的地位和发挥着至关重要的作用，在泄水和挡水问题上，水闸发挥着十分重要的作用，而且在很大程度上，水闸对于缓解水灾还尤为必要。但是