基于计算模型的 OpenID Connect协议认证性的自动化分析

• 作者: 孟博 张金丽 鲁金钿
• 来源期刊: 中南民族大学学报（自然科学版）
• 学科: 工学
• 关键词: OpenID Connect协议 计算模型 自动化验证 认证性
• 年，卷（期）: 2016,（3）
• 所属期刊栏目: 计算机科学
• 页码范围: 123-129
• 页数: 7页
• 分类号: TP309
• 字数: 5330字
• 语种: 中文

摘要

分析了OpenID Connect 协议的消息结构，基于计算模型应用Blanchet 演算对OpenID Connect 协议进行了形式化建模，应用自动化验证工具CryptoVerif 验证了其认证性。结果表明：在OpenID Connect 协议中，客户端能够认证终端用户，但是终端用户与授权服务器之间不能相互认证、令牌终端不能认证客户端。为此，给出了OpenID Connect协议中不具有认证性问题的解决方法。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孟博	中南民族大学计算机科学学院	16	50	4.0	6.0
2	鲁金钿	中南民族大学计算机科学学院	5	23	3.0	4.0
3	张金丽	中南民族大学计算机科学学院	2	14	1.0	2.0