维普期刊资源整合服务平台（V6.5）

共被期刊论文引用了1次 您的检索式：您选中1篇文献正在查看引证文献汇总

选中清除导出查看参考文献查看引证文献引用追踪共1页首页上一页第1页下一页末页 /1 跳转

		题名	作者	年代	出处	被引量
	1	基于分段模型检测的云服务跨域认证协议的形式化分析与验证显示文摘针对多个云服务之间的跨域认证问题,提出一种基于SAML协议的云服务安全认证方案。阐明了该方案的关键技术机制,建立了云服务安全认证协议抽象模型;采用Casper和FDR软件的组合,通过模型检测法对云服务认证协议进行了形式化分析与验证;通过对安全认证协议进行分段模型检测,解决了安全协议形式化分析验证导致的状态空间爆炸问题。模型检测软件的实验结果验证了云服务跨域认证方案的有效性及安全性。	陈红松王钢傅忠传	2016	计算机科学2016，43，4：	1

返回顶部每页显示：

共1页首页上一页第1页下一页末页 /1 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费