UCAP:云计算中一种PCL安全的用户认证协议

• 作者: 张俊伟 李学峰 马建峰
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 云计算 用户认证 协议组合逻辑 机密性 相互认证
• 年，卷（期）: 2018,（8）
• 所属期刊栏目: 论文Ⅱ:学术论文
• 页码范围: 94-105
• 页数: 12页
• 分类号: TP309
• 字数: 9412字
• 语种: 中文
• DOI: 10.11959/j.issn.1000-436x.2018147

摘要

云计算利用网络使IT服务变得弹性可变,如果用户需要登录到云端来使用服务与应用,系统需要确保使用者的身份合法,才能为其服务.为此,提出一种面向云计算协议组合逻辑(PCL,protocol composition logic)安全的用户认证协议(UCAP).UCAP引入了可信第三方,使用基于对称加密密钥的认证方法,确保参与认证双方的相互认证,实现协议会话的认证性和密钥机密性.协议主要分成2个阶段:初始认证阶段,由可信第三方生成根会话密钥后,认证双方相互认证;重认证阶段,不需要可信第三方的参与,认证双方快速生成子会话密钥并实现相互认证.在协议组合逻辑模型下给出所提协议的形式化描述并利用顺序组合证明方法分析了所提协议的安全属性.同其他相关协议比较及实验分析表明,UCAP在不影响安全性的前提下,提高了用户认证的通信与计算效率,不但在重认证阶段不依赖可信第三方,而且整个过程不依赖可信第三方同步时钟.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马建峰	西安电子科技大学计算机学院	389	4956	30.0	50.0
2	张俊伟	西安电子科技大学计算机学院	26	176	8.0	11.0
3	李学峰	青海广播电视大学教育信息技术与资源建设中心	13	16	2.0	3.0