【摘 要】
：
授权约束的依从性研究是业务流程安全领域中的重要研究内容.针对授权约束提出了全新的业务流程依从性分析框架,该框架可以处理1）流程授权和非流程授权：2） 业务流程任务委托;3） 角
【机 构】
：
网络技术北京市重点实验室（北京航空航天大学）,北京航空航天大学计算机学院,广西师范大学计算机科学与信息工程学院
【基金项目】
：
国家自然科学基金联合基金项目（U1636208）,中航工业产学研项目（CXY2011BH07）.
论文部分内容阅读
授权约束的依从性研究是业务流程安全领域中的重要研究内容.针对授权约束提出了全新的业务流程依从性分析框架,该框架可以处理1）流程授权和非流程授权：2） 业务流程任务委托;3） 角色继承关系;4 ） 职责分离和职责绑定约束;5） 静态约束和动态约束.提出授权图表示依从性分析框架,并给出授权图的构造和化简方法对授权图进行维护,然后设计了针对授权图的依从性分析算法.基于分析结果,给出了不依从授权约束的冲突模式,针对每一种冲突模式设计一组解决方案,并实现了原型系统.所提出的授权约束依从性分析框架独立于系统部署的平台
其他文献
随着地理信息系统的发展,GIS软件中不同格式的数据相互转化和应用更加频繁,系统用AutoCAD等平台录入的数据需要用AreView进行处理构建系统。但不同系统的数据转换之间常常会丢失信息,如将CAD数据经过转换添加到AreView视图中时会遇到要素重新分类、属性不可编辑、注记信息丢失等问题,介绍解决这些问题的一些处理方法和策略。
全面总结升船机各个部位的安装精度以及采用的测量方法,并对技术和方案进行革新,解决了限制精度的几个"瓶颈"问题,为精密工程测量摸索了一些新的经验,可为同类工程测量所借鉴。
OpenGL是目前最新的 3维图形工业标准。讨论在OpenGL环境下 ,地形 3维可视化中地形模型的映射 ,3维真实感地形生成以及交互式动态显示的关键过程和方法 ,并给出一些试验结果
园林绿化施工管理是个复杂的过程,在实施过程中要了解注意事项,合理应用新型反季节种植技术。在实际应用中,要突出技术的具体作用。工作人员需要了解实际特征,按照技术应用要