【摘 要】
：
授权约束的依从性研究是业务流程安全领域中的重要研究内容.针对授权约束提出了全新的业务流程依从性分析框架,该框架可以处理1）流程授权和非流程授权：2） 业务流程任务委托;3） 角
【机 构】
：
网络技术北京市重点实验室（北京航空航天大学）,北京航空航天大学计算机学院,广西师范大学计算机科学与信息工程学院
【基金项目】
：
国家自然科学基金联合基金项目（U1636208）,中航工业产学研项目（CXY2011BH07）.
论文部分内容阅读
授权约束的依从性研究是业务流程安全领域中的重要研究内容.针对授权约束提出了全新的业务流程依从性分析框架,该框架可以处理1）流程授权和非流程授权：2） 业务流程任务委托;3） 角色继承关系;4 ） 职责分离和职责绑定约束;5） 静态约束和动态约束.提出授权图表示依从性分析框架,并给出授权图的构造和化简方法对授权图进行维护,然后设计了针对授权图的依从性分析算法.基于分析结果,给出了不依从授权约束的冲突模式,针对每一种冲突模式设计一组解决方案,并实现了原型系统.所提出的授权约束依从性分析框架独立于系统部署的平台
其他文献
随着地理信息系统的发展,GIS软件中不同格式的数据相互转化和应用更加频繁,系统用AutoCAD等平台录入的数据需要用AreView进行处理构建系统。但不同系统的数据转换之间常常会丢失信息,如将CAD数据经过转换添加到AreView视图中时会遇到要素重新分类、属性不可编辑、注记信息丢失等问题,介绍解决这些问题的一些处理方法和策略。
全面总结升船机各个部位的安装精度以及采用的测量方法,并对技术和方案进行革新,解决了限制精度的几个"瓶颈"问题,为精密工程测量摸索了一些新的经验,可为同类工程测量所借鉴。
强筋小麦具有籽粒蛋白质含量高,湿面筋含量高,面团稳定时间长,容重高,出粉率高等优点,非常适用于制作面包。因此,面包专用小麦的生产也就是优质强筋小麦的生产。面包专用小麦
本文以云和县农村沼气后续服务体系建设为例,通过对云和县农村沼气后续服务体系现状存在问题的分析,提出适于云和农村沼气后续服务体系建设的建议。
OpenGL是目前最新的 3维图形工业标准。讨论在OpenGL环境下 ,地形 3维可视化中地形模型的映射 ,3维真实感地形生成以及交互式动态显示的关键过程和方法 ,并给出一些试验结果
查礼(中国科学院计算技术研究所)陈恩红(中国科学技术大学)陈华钧(浙江大学)陈一昕(华盛顿大学)杜小勇(中国人民大学)高宏(哈尔滨工业大学)高阳(南京大学)郭毅可(英国伦敦帝
园林绿化施工管理是个复杂的过程,在实施过程中要了解注意事项,合理应用新型反季节种植技术。在实际应用中,要突出技术的具体作用。工作人员需要了解实际特征,按照技术应用要
早红珠油桃系北京市农林科学植物保护环境保护研究所用极早熟油桃品种早红珠（88—33—15）为母本，父本为来自美国阿肯色州A369杂交选育而成的早中熟油桃新品种。该品种果个大、品
七星泡农场始建于1955年,地处小兴安岭西麓,位于五大连池、讷河、嫩江两市一县交汇处,人口1.5万,土地总面积791.63平方公里,人均拥有耕地1.59h㎡,比全国平均水平高22倍。目前
在焊接工艺当中,异种金属焊接在其中占据着非常重要的地 位,在通常情况下会由于异种金属的物理性质和化学性质的不同而 导致对焊接工作造成不同程度的影响。通过调查发现,异