基于SVO逻辑的云服务安全形式化分析.PDFVIP

基于SVO逻辑的云服务安全形式化分析.PDF

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
基于SVO逻辑的云服务安全形式化分析

小型微型计算机系统 2010年12月第12期 ofChinese V乩31No.122010 loumal ComputerSystems 基于SVO逻辑的云服务安全形式化分析 陈丹伟1.一,黄秀丽2,孙国梓1’2 1(南京邮电大学计算机技术研究所,江苏南京210003) 2(南京邮电大学计算机学院,江苏南京210003) E-marl:juliehxl@163.a哪 摘要:云服务安全方案利用SAML实现SSO功能,使云用户只需要登录网络时进行一次身份认证即可接入各种云服务,从 而提高网络认证效率,同时使SAML不需要保存用户的状态,有效提高SAML的性能.SVO逻辑一种基于推理的结构性方法, 它具有十分简洁的推理规则和公理,为逻辑系统建立了用于推证合理性的理论模型.本文阐述云服务安全方案及其关键技术机 制,并对其抽象建模。然后采用SVO逻辑对其安全性进行形式化分析,通过分析证明其安全性. SSO;形式化分析;SVO逻辑 关键词:云服务;SAML 中图分类号:TP311 文献标识码:A 文章编号:1000-1220(2010)12-2438-04 Formal ofCloudServicesBasedOnSVO Analysis CHEN Guo.zil.2 Dan.weil.-.HUANG)(iu.1i2。SU】N 1(Inatitute矽ComputerTechnology,NanfingUniversity矿PostsandCommunications。Nanfing210003-Ch/na) 2(College矽Computer,NanfingUniversityD,PostsandCommunications,Nanjing210003。China) is inCloudServicesto the of itallowscustomerto Abstract:SAM吐SSO improve authorization.and adopted efficiency ac.a蝴many servicesafter inonce.SVOisakindofFormal basedon whichhas ruleaxiomand 1 very theory logging Analysis reasoning simply modelfor CloudServices abstractmodelmakes and mtionalityreasoning.喇spaperanalyzes securitysystemfirsny-then季ve$its Formal foritwi山SV0to its Analysis theoryprovesecurity. words:cloud Key services;SAMLSS0:formalanalysis;SVo l引言 题,为云用户提供安全可靠的云服务.在运用WebServices安 全技术基础上,我们提出如图1云服务安全方案. 云计算¨.21是一种由规模经济驱动的大规模分布式计算 模式,通过这种计算模式,实现抽象的、虚拟的、可动态扩展、 可管理的计算、存储、平台和服务等资源池由互联网按需提供 给外部用户.利用云计算模式构建的网络称为云,基于云提供 的服务称为云服务.目前

文档评论(0)

ldj215322 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档