扩展了信任与隐私的ABAC模型研究

基于属性的访问控制模型(ABAC)特别适用于大规模分布式网络。然而,由于其访问控制决策依赖于属性的暴露,又没有有效的敏感属性保护机制,使得访问主体的敏感属性存在非法暴露的风险。本文提出了一种扩展了信任与隐私的ABAC模型,它包含了信任与隐私这两个特殊属性,并使访问控制决策敏感于跨组织的协作上下文,以解决ABAC模型本身不含敏感属性保护机制的问题。设计了一种促使管理者在危机管理系统中做出更优决策的图形化原型工具,并验证本文方法的有效性。     

基于组合修理策略的岸对海雷达原位深度恢复性修理方法

针对岸对海雷达修理的特殊性,以故障风险为约束,以系统总体维修费用最小化、系统利用率最大化为目标,建立组合维修策略,在此基础上提出原位深度恢复性修理及评估方法,并通过某岸对海雷达大修实例证明了该方法的有效性,对同类雷达修理有较大的参考价值。     

关于盗版现象的调查、分析与启示--以桂林市为调查地区

盗版是一个世界范围的问题。本次调查以桂林市为主要调查地区,探究不同社会群体对盗版现象的态度,通过调研分析当今中国盗版的现状,提出规制盗版的相关建议。     

珍贵油料树种文冠果增产技术探讨

文冠果开花很多,但落花落果十分严重,极大影响了产量．探讨影响文冠果落花落果的机理,为其大面积培育及增产提供技术依据。     

炼化装置循环水泵喷涂节能改造应用

介绍了某炼化装置循环水厂的循环水泵通过对泵体实施喷涂和对叶轮进行三元流改造,通过实施改造后,节能效果明显。     

杜松育苗技术探讨

杜松具有香气,耐腐等多种用途,耐干旱,喜生于山顶。     

基于战技指标分配的雷达装备技术状态管理方法研究

各种体制雷达装备设计越来越复杂,型号也越来越多,因此对承制方技术状态管理的要求越来越高.但是,技术状态管理相关国军标的缺乏与技术体系的融合以及对不同研制需求的管理要求导致其不能直接有效指导技术状态管理.本文提出基于技术状态基线的雷达装备战技指标分配体系及可追溯性,进而结合承制方体系建设实际情况优化技术状态管理方法,形成...     

基于属性的支持策略本体推理的访问控制方法研究

基于属性的访问控制模型(ABAC)特别适用于大规模分布式网络。然而,由于网络环境的异构性以及策略控制的复杂性,其访问控制策略集往往庞大且缺乏统一语义,策略管理也因此变得复杂和易于出错。针对以上问题,使用本体一致性推理对现有的基于XACML的ABAC授权框架进行扩展:首先,对几种主要的访问控制模型在分布式环境下的性能进行量化分析;其次,通过对本体知识库的一致性检测来判断策略的一致性;最后,设计一个实验方案来验证该方法的有效性和正确性。     

故障树领域本体及SWRL规则的构建方法研究

故障树(Fault Tree,FT)被广泛应用于系统故障的快速定位,但其因缺乏精确的语义信息而存在重复构建问题。将本体引入到故障树领域中,并对如何构建故障树本体及相应的SWRL规则进行了研究:首先采用本体描述语言 (Web Ontology Language,OWL)对故障树中的概念及概念之间的关系进行知识表示,构建了一个可共享、可重用、可扩展的故障树领域本体;然后将故障树中事件之间的逻辑关系转化成语义 Web 规则语言 (Semantic Web Rule Language,SWRL);最后将构建的故障树领域本体和SWRL规则放入JESS推理机中进行推理,产生新的知识,用于系统故障的快速定位。实验证明,使用所提出的方法能在解决故障树重复构建问题的同时,不对系统故障的快速定位产生影响。     

基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究

能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析.