云服务资源安全保护机制关键技术研究

云服务资源安全保护机制关键技术研究

作者:师大云端图书馆 时间:2015-11-04 分类:毕业论文 喜欢:3308
师大云端图书馆

【摘要】近年来,云计算以其所具有的弹性的服务组合方式、低碳化的能源消耗和集成化的服务模式等特性,受到国内外学者和企业的关注与青睐。云服务资源分布式的存储结构和组合式的服务模式,在为用户提供便捷的云服务的同时,也存在着安全隐患。云安全已经成为制约云计算技术发展和应用的主要问题,本文主要围绕以下几个方面展开研究。1、云计算环境中服务资源安全特征属性描述粒度过粗,跨域服务资源之间所处的环境安全性能不易度量与评估。2、跨域服务资源授权访问过程需要第三方验证机构参与,远程验证效率较低,服务资源身份信息等敏感属性存在泄露风险。3、云服务资源安全属性缺乏统一的、通用的结构化知识描述体系,资源组合和迁移的动态性为访问控制规则管理与维护增加了难度,服务资源之间之间容易产生授权规则的冲突和冗余情况。4、服务组合授权规则之间可能存在循环依赖和授权可达性问题。针对开放环境中的服务资源缺乏有效地评估资源规则的动态行为的方法,可能增加不必要的资源属性协商开销。本文从分析云计算体系结构和服务资源部署方式出发,对开放环境中云服务资源之间信任验证和访问控制问题进行了研究。具体的研究内容包含如下:1、针对云计算环境中服务资源安全特征属性描述粒度过粗,资源环境安全性无法度量的情况,设计了支持细粒度跨域授权的访问控制框架PBTCAC。该框架按照云服务资源所属层次,将云服务资源安全属性分为系统属性、平台属性和服务属性,构建了可信云安全属性描述体系。PBTCAC框架为云服务资源访问授权过程提供了结构化的可信云安全属性描述体系,可扩展的属性推理机制和敏感信息保护机制。2、针对基础架构层可信云计算远程证明方案Privacy-CA和DAA可能存在的问题进行了分析。提出一种基于属性协商机制的信任验证方法。该方法利用域内可信资源的TPM公钥信息构建的环方程对消息进行签名与信任验证,提供无须第三方参与的验证双方可信证明。与可信计算的常用远程证明方法相比较,这种方法在隐藏证明方身份的同时,具有计算效率高、证明过程便捷的特点,适合跨域资源访问环境。通过设计的安全模型对方案安全性进行了证明,并对性能进行了对比分析。利用Hadoop平台下的应用实验,验证方法的有效性和可行性。3、对XACML授权规则推理引擎中的推理问题进行分析,利用动态描述逻辑DDL对资源属性本体和授权规则本体进行形式化描述。通过构建本体知识组成的概念知识库、实例知识库和动作知识库,对于属性一致性和规则可满足性等推理问题进行研究。在此基础上,构建了基于属性的细粒度访问控制模型,设计了具有DDL语义的属性概念子模型、实例子模型和动作子模型,并把访问控制过程中的推理问题归结为子模型可满足性问题。4、针对XACML规则冲突问题进行深入研究,分别从概念层次结构和传递授权操作两个方面对冲突原因进行了分析。利用构建的基于DDL的规则推理模型和知识库结构,对层次资源属性继承授权规则冲突和属性传递授权规则冲突设计了检测算法。将这些冲突检测问题归结为基于DDL的模型可满足性验证问题。利用动态描述逻辑的Tableau公式扩展规则,证明了DDL模型的可满足性和验证过程的可判定性。通过实验说明了推理引擎在授权推理和规则检测上的可行性和有效性。5、在研究陌生服务资源间属性协商机制的基础上,通过引入时态算子构建基于时序动态描述逻辑的属性协商形式化表示模型。对协商过程中的协商可达性问题和属性循环依赖问题进行了分析,将这些问题归结为时序DDL公式的可满足性问题。设计了基于Tableau规则的时序DDL可满足性验证方法。证明了该方法能够在多项式时间内完成公式的可满足性验证。
【作者】杨绍禹;
【导师】王世卿;
【作者基本信息】郑州大学,计算机软件与理论,2013,博士
【关键词】云计算;访问控制系统;可信计算;XACML;本体;描述逻辑;

【参考文献】
[1]连双双.二苯并呋喃和二茂铁基色原酮的合成研究[D].中北大学,应用化学,2014,硕士.
[2]姚政委.DIM通过BRCA1依赖的抗氧化信号通路治疗阿霉素诱导的心肌纤维化[D].南京大学,制药工程(专业学位),2013,硕士.
[3]余浪.商业秘密保护与劳动者利益保障的冲突与平衡[D].南京大学,法律(专业学位),2013,硕士.
[4]陈荣,曹永锋,孙洪.基于主动学习和半监督学习的多类图像分类[J].自动化学报,2011,08:954-962.
[5]陆燕.江苏下蜀城市森林冠层水文特征及数据管理系统研究[D].南京林业大学,生态学,2004,硕士.
[6]徐筱芗,于爱民,李娜,曹飞.安钢炉卷轧机卷取炉的工艺特性[J].河南冶金.2004(05)
[7]马晓娟.我国公务员辞职辞退理论与实践研究[D].新疆大学,行政管理,2013,硕士.
[8]袁斌.河北省邯郸市市区中小学足球运动开展现状的调查研究[D].河北师范大学,体育教育训练学,2012,硕士.
[9]付东升,奚建明.美军高超声速巡航导弹进展[J].飞航导弹.2006(02)
[10]肖春华,黄樟钦,李达.一种面向高性能计算的多FPGA互联结构及划分方法[J].计算机应用研究,2015,:.
[11]王滢滢.基于Struts框架的绍兴市治安管理信息系统的设计与实现[D].电子科技大学,软件工程(专业学位),2012,硕士.
[12]靳晓冉.从美学角度对弗吉尼亚·伍尔夫《到灯塔去》的研究[D].曲阜师范大学,英语语言文学,2013,硕士.
[13]袁贝贝.极值理论在风险价值中的应用及实证分析[D].山东大学,概率论与数理统计,2013,硕士.
[14]刘可.叶兆言和厄普代克作品中的悲剧美比较[D].辽宁大学,比较文学与世界文学,2012,硕士.
[15]张军.镧掺杂钛酸锶的制备及其在SOFC连接体中的应用[D].中国矿业大学,物理化学,2014,硕士.
[16]杨景然.人教版高中语文(必修)文言课文版本及注释研究[D].西南大学,汉语言文字学,2014,硕士.
[17]张良.斜坡软弱土地基路堤的工程特性研究[D].西南交通大学,道路与铁道工程,2003,硕士.
[18]曹健.腹泻型肠易激综合征中医证型分布及相关因素的研究[D].福建中医药大学,中医内科学(专业学位),2014,硕士.
[19]刘沙沙.移相全桥ZVS变换器寄生振荡抑制方法的研究[D].南京航空航天大学,电力电子与电力传动,2014,硕士.
[20]阮芬.神谕与希罗多德的叙事[D].复旦大学,世界史,2013,博士.
[21]刘伟.美术馆公共性空间研究[D].中央美术学院,建筑设计及其理论,2012,硕士.
[22]金鑫,李元左.空间军事系统综合集成研讨厅中数据挖掘应用[J].装备指挥技术学院学报,2005,04:57-60.
[23]孙玉晶.钛合金铣削加工过程参量建模及刀具磨损状态预测[D].山东大学,机械制造及其自动化,2014,博士.
[24]冯冉.金属钌催化剂催化氢化前手性酮对映选择性的研究[D].北京化工大学,化学,2013,硕士.
[25]陈双.唐太宗的人才管理思想[D].辽宁科技大学,企业管理,2012,硕士.
[26]于海玲,朱嘉琦,曹文鑫,韩杰才.金属催化制备石墨烯的研究进展[J].物理学报,2013,02:18-27.
[27]丁言丰,余世明.基于遗传算法的计量泵投料系统优化[J].机电工程,2015,03:343-347+357.
[28]赵冬媛.图像测量中综合标定算法的研究[D].辽宁大学,计算机应用技术,2012,硕士.
[29]王培.乔治·马什环境思想初探[D].山东大学,世界史,2013,硕士.
[30]张敏.高中生物课堂有效教学策略的实践及研究[D].苏州大学,教育(专业学位),2012,硕士.
[31]郑龙.循环流化床锅炉先进控制系统的研究与应用[D].浙江大学,2007.
[32]李英.偏微分方程的赝势、Lax对、达布变换及精确解[D].沈阳师范大学,应用数学,2014,硕士.
[33]朱秀琴.新疆大学生国家认同的现状及对策[D].华中师范大学,思想政治教育,2014,硕士.
[34]王琼.船舶动力定位系统的优化与控制策略研究[D].大连海事大学,控制工程,2013,硕士.
[35]吴欢.便携式GPS校时系统的分析与设计[D].南昌大学,电子与通信工程(专业学位),2012,硕士.
[36]方珍珍.Ka波段MMIC数字移相器的设计[D].华中科技大学,集成电路工程,2013,硕士.
[37]陈涛.基于Cortex-M4内核的AT91SAM4L32位处理器低功耗的研究[D].厦门大学,电子与通信工程,2014,硕士.
[38]陈枭萌.榆阳煤矿矿坑排水对周边地下水水质的影响[D].长安大学,水文学及水资源,2014,硕士.
[39]王健.企业两化融合与竞争力的关联关系研究[D].北京交通大学,2014.
[40]孙远召.下丘脑保护的显微解剖学研究[D].苏州大学,神经外科学,2013,博士.
[41]周思博.网络事件中群体极化效应的演化机制及其应对研究[D].湖南师范大学,行政管理,2013,硕士.
[42]吴彩霞.南通大学附属医院临床教师绩效管理方案研究[D].兰州大学,工商管理(专业学位),2013,硕士.
[43]郑艺.荀子的德治和法治思想及其当代意义[D].江西师范大学,马克思主义理论与思想政治教育,2004,硕士.
[44]张政.镍基单晶合金的裂纹扩展研究[D].华中科技大学,工程力学,2013,硕士.
[45]彭思敏.原位法制备两种碳材料/聚酰亚胺纳米复合薄膜[D].湖北大学,材料学,2011,硕士.
[46]荆康宁.《谁害怕弗吉尼亚·伍尔夫?》中的后现代仪式表演[D].上海外国语大学,英语语言文学,2012,硕士.
[47]钟伟.我国工业的绿色化发展策略之探析[D].四川师范大学,马克思主义哲学,2004,硕士.
[48]张明坤.津引KRK26烤烟品种密集烘烤关键技术研究[D].湖南农业大学,作物学,2012,硕士.
[49]杨洪斌.硅溶胶改性处理对碳纤维/环氧树脂复合材料界面性能的影响[D].浙江理工大学,材料加工工程,2013,硕士.
[50]苏睿.A银行大连分行个人投资理财策略研究[D].大连理工大学,工商管理(专业学位),2012,硕士.

相关推荐
更多