-
题名基于SVO逻辑的云服务安全形式化分析
被引量：4
- 1
-
-
作者
陈丹伟
黄秀丽
孙国梓
-
机构
南京邮电大学计算机技术研究所
南京邮电大学计算机学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2010年第12期2438-2441,共4页
-
基金
科技部国家"十一五"科技支撑计划项目(2007BAK34B06)资助
南京邮电大学攀登计划项目(NY208009)资助
-
文摘
云服务安全方案利用SAML实现SSO功能,使云用户只需要登录网络时进行一次身份认证即可接入各种云服务,从而提高网络认证效率,同时使SAML不需要保存用户的状态,有效提高SAML的性能.SVO逻辑一种基于推理的结构性方法,它具有十分简洁的推理规则和公理,为逻辑系统建立了用于推证合理性的理论模型.本文阐述云服务安全方案及其关键技术机制,并对其抽象建模,然后采用SVO逻辑对其安全性进行形式化分析,通过分析证明其安全性.
-
关键词
云服务
samlsso
形式化分析
SVO逻辑
-
Keywords
cloud services
SAML SSO
formal analysis
SVO
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
