|
|||||
|
|
| 基于符号模型自动分析隐私保留的用户认证协议安全性 | |
| 作者单位： | ;1.中南民族大学计算机科学学院 |
| 摘 要： | 利用大数据特征,PPMUAS协议声称实现了移动用户的隐私保护和认证,但并没有给出严格证明.故本文首先应用Applied PI演算对PPMUAS协议进行形式化描述,然后分别使用非单射一致性和Query对认证性和秘密性进行建模,最后把PPMUAS协议的Applied PI演算模型转换为安全协议分析工具ProVerif的输入,应用ProVerif对其进行形式化分析与证明.结果表明PPMUAS协议具有秘密性,但缺少认证性,并给出了解决方法. |
| 关 键 词： | 大数据 用户认证 安全协议 形式化方法 |
Automatic analysis of security of privacy preserving user authentication protocol based on the symbolic model |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ | |