论文部分内容阅读
云服务安全方案利用SAML实现SSO功能,使云用户只需要登录网络时进行一次身份认证即可接入各种云服务,从而提高网络认证效率,同时使SAML不需要保存用户的状态,有效提高SAML的性能.SVO逻辑一种基于推理的结构性方法,它具有十分简洁的推理规则和公理,为逻辑系统建立了用于推证合理性的理论模型.本文阐述云服务安全方案及其关键技术机制,并对其抽象建模,然后采用SVO逻辑对其安全性进行形式化分析,通过分析证明其安全性.
The cloud service security solution uses SAML to implement SSO so that cloud users can access various cloud services by simply authenticating once they log in to the network, thereby improving the efficiency of network authentication. At the same time, SAML does not need to save the user state and effectively improve the SAML .SVO logic is based on the reasoning of a structured method, it has a very simple reasoning rules and axioms for the logic system to establish a theoretical model for the reasoning.This paper describes the cloud service security program and its key technical mechanisms , And its abstract modeling, and then use SVO logic to formally analyze its security, through the analysis to prove its security.