改进的OpenID Connect协议及其安全性分析

• 作者: 何旭东 孟博 尧利利 鲁金钿
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 非对称加密 数字签名 认证性 符号模型 形式化方法 ProVerif
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 网络空间安全
• 页码范围: 1347-1352
• 页数: 6页
• 分类号: TP393.08
• 字数: 7320字
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2017.05.1347

摘要

OpenID Connect协议是最新的单点登录协议之一,已经广泛应用于用户身份认证领域,其安全性受到了人们的重点关注.为增强OpenID Connect协议的安全性,首先引入数字签名及非对称加密技术,对其进行改进,重点关注改进后协议的秘密性和认证性;其次基于符号模型,应用应用PI演算对改进的OpenID Connect协议进行形式化建模;然后为验证改进后协议的认证性和秘密性,分别使用非单射性和query对认证性和秘密性进行建模;最后把改进的OpenID Connect协议的应用PI演算模型转换为安全协议分析工具ProVerif的输入,应用ProVerif对其进行形式化分析.实验结果表明,改进后的OpenID Connect协议具有认证性和秘密性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孟博	中南民族大学计算机科学学院	16	50	4.0	6.0
2	鲁金钿	中南民族大学计算机科学学院	5	23	3.0	4.0
3	何旭东	中南民族大学计算机科学学院	4	11	2.0	3.0
4	尧利利	中南民族大学计算机科学学院	2	7	1.0	2.0