基于符号模型自动分析隐私保留的用户认证协议安全性

• 作者: 唐获野 孟博 陈双
• 来源期刊: 中南民族大学学报（自然科学版）
• 学科: 工学
• 关键词: 大数据 用户认证 安全协议 形式化方法
• 年，卷（期）: 2019,（1）
• 所属期刊栏目: 计算机科学
• 页码范围: 138-143
• 页数: 6页
• 分类号: TP399
• 字数: 3941字
• 语种: 中文
• DOI: 10.12130/znmdzk.20190124

摘要

利用大数据特征,PPMUAS协议声称实现了移动用户的隐私保护和认证,但并没有给出严格证明.故本文首先应用Applied PI演算对PPMUAS协议进行形式化描述,然后分别使用非单射一致性和Query对认证性和秘密性进行建模,最后把PPMUAS协议的Applied PI演算模型转换为安全协议分析工具ProVerif的输入,应用ProVerif对其进行形式化分析与证明.结果表明PPMUAS协议具有秘密性,但缺少认证性,并给出了解决方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孟博	中南民族大学计算机科学学院	16	50	4.0	6.0
2	唐获野	中南民族大学计算机科学学院	1	2	1.0	1.0
3	陈双	中南民族大学计算机科学学院	1	2	1.0	1.0