互斥约束工作流可满足性决策的匹配剪枝模式回溯法

针对用于工作流可满足决策的模式回溯技术如何平衡性能与代价的问题,提出了一种对部分模式解及时进行授权匹配验证的优化方法,牺牲一定验证效率以增强剪枝能力。就仅受互斥约束的问题情形,利用实例难易程度的两极分化现象对总体时间性能进行了分析。随机生成数据集上的实验表明,这一优化极大地降低了模式回溯在难实例上的时间代价,而对易实例执行时间的影响很小,且相对于其他基于动态规划的代表性算法,优化后的算法在时间和空间性能上均有显著优势。     

基于可满足性计数的(≠,=)约束工作流鲁棒性验证

工作流将业务过程分解为有序的步骤并分配人力资源加以执行.资源分配受访问控制约束及资源异常干扰,存在可满足性和鲁棒性问题.而其鲁棒性验证又依赖于其可满足性判定,目前通过求可满足性的一个解来完成.本文提出另一种途径,通过统计解的个数来完成判定.特别地,通过多项式计数归约为有求解器可用的#SAT问题,给出了互斥和绑定约束下的可满足性计数算法.实验表明,相对目前时间复杂度最低的可满足性求解算法,该可满足性计数算法显著提高了实际判定效率和适用规模.     

我国学位授权政策特性分析

我国学位授权具有集权管理的特性,行政权力在其中发挥着重要作用,学位授权政策在决策、执行以及改革等方面,都受政府集权控制的影响。     

关于智能选课管理系统的安全策略的探讨

全面阐述了对高校学分制管理体制下的网上智能选课管理系统的安全保护策略。     

面向工作流应用的可组合授权模型

针对分布式工作流系统授权管理的动态性、统一性和自治性的特点,将RBAC的授权管理思想和TBAC的动态访问机制结合起来,提出了支持工作流组合和动态授权控制的可组合授权模型。该模型提供了从工作流的组成结构和执行关系进行建模的方法,通过将各个处理单元的授权方案按照工作流的组合结构、执行依赖关系和主体依赖关系进行组合,从而构造适应更复杂的工作流系统的授权方案。对模型的定义和组合运算进行了形式化描述,给出了模型的表达能力和一致性、组合运算的兼容性和安全性的相关性质分析。最后介绍了支持动态授权的授权控制引擎原型。     

金属矿山安全文化对员工安全行为的作用机理研究

矿山安全文化对于预防矿山事故有重要作用,是被动安全转向主动安全的发力点。现有文献主要关注安全文化与安全行为的关系,但是针对二者之间中介变量的研究很少。为进一步探索金属矿山企业安全文化对员工安全行为的作用机理,引入心理授权作为中介变量。通过对广东某金属矿山企业的工作人员开展问卷调查,并利用结构方程模型软件SmartPLS对调查数据进行实证研究。结果表明：矿山安全文化对员工安全行为存在正向显著影响,并且心理授权在二者之间起完全中介作用。为此金属矿山企业高层管理者不仅要通过加强企业安全文化建设来提高员工的安全行为,而且要善于为员工营造一种心理授权的感受,提高员工的工作自主性和自我效能,从而让员工养成良好的安全行为习惯。     

支持多种访问控制方法和策略继承的授权系统

分布式计算环境下访问控制技术的一种发展趋势是采用集中式的身份与权限管理,即由一专门的系统为企业、机构的各类计算机系统、应用服务系统提供集中的身份与授权策略管理,但这种集中式的授权管理系统在实际应用中也面临一些技术问题,论文提出了一种集中式的授权系统,它通过Manager-Provider（管理者-提供者）架构支持、扩展多种不同的访问控制方法,基于资源策略树定义可继承的授权策略,并提供面向不同访问控制方法的在线授权决策服务。     

REACH法规实施细则解读(一)

REACH法规自2007年6月1日起正式实施,并陆续有若干细节出台.2008年6月1日开始预注册,在11年内完成对现有化学物质的全部注册.对于企业来说,必须充分了解如何注册、注册文件内容,并且对生产或销售的化学物质中的高度关注物申请授权并获得许可.     

新闻媒体领域业务运营支撑系统结构研究

认证授权计费系统（AAA）是新闻媒体应用系统的基础,但技术架构和功能已经很难满足市场推广和技术发展的要求。借鉴中国移动新一代运营支撑系统（NGBOSS）,提出建立新闻媒体领域业务运营支撑系统（Media BOSS）。Media BOSS体系结构设计遵循“两级架构、三层结构”原则,提供统一用户管理、统一认证、统一授权、统一计费、统一支付结算和统一行为数据六项基础服务。其中,统一认证实现了终端绑定、数字指纹等特殊功能。     

基于情景约束的工作流柔性访问控制模型

针对现有的访问控制模型在工作流系统中,基于情景的动态授权和灵活的任务相关授权等问题,提出一个应用于工作流系统的基于情景约束的柔性访问控制模型.模型定义了基于情景约束的角色指派策略和角色授权策略,分析了策略间的关系,对策略间可能存在的冲突进行了分类,给出策略冲突的静态和动态检测规则,并提出优先级规则和冲突消解策略的概念,安全管理员可以根据系统需求灵活地确定冲突消解的方式;模型还给出基于最小角色指派策略集和最小角色授权策略集的角色分配与授权决策算法,实现了工作流系统中基于情景的动态授权,并支持用户-角色和角色-权限的自动指派.