云南高校图书馆联盟文献共享服务平台- 王钢

王钢: 作品数：1被引量：1H指数：1; 导出分析报告; 供职机构：铁道警察学院更多>>; 发文主题：形式化分析形式化跨域认证云服务更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《计算机科学》更多>>; 所获基金：中央高校基本科研业务费专项资金北京市科技计划项目北京市自然科学基金国家留学基金更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于分段模型检测的云服务跨域认证协议的形式化分析与验证被引量：1: 《计算机科学》2016年第4期140-144,共5页陈红松王钢傅忠传; 北京市科技计划项目(D141100003414002);"十二五"国家863高技术研究发展计划重大专项:亿级并发云服务器研制(2013AA01A209);中央高校基本科研业务费项目(FRF-TP-14-042A2);北京市自然科学基金(4142034);北京市青年英才计划(YETP0380);国家留学基金管理委员会资助; 针对多个云服务之间的跨域认证问题,提出一种基于SAML协议的云服务安全认证方案。阐明了该方案的关键技术机制,建立了云服务安全认证协议抽象模型;采用Casper和FDR软件的组合,通过模型检测法对云服务认证协议进行了形式化分析与验证;通...; 关键词：云服务认证协议形式化分析模型检测