中南民族大学学报（自然科学版）2019，Vol.38Issue(1)：138-143,6.DOI:10.12130/znmdzk.20190124
基于符号模型自动分析隐私保留的用户认证协议安全性
Automatic analysis of security of privacy preserving user authentication protocol based on the symbolic model
摘要
关键词
大数据/用户认证/安全协议/形式化方法分类
信息技术与安全科学引用本文复制引用
孟博,唐获野,陈双..基于符号模型自动分析隐私保留的用户认证协议安全性[J].中南民族大学学报（自然科学版）,2019,38(1):138-143,6.基金项目
湖北省自然科学基金资助项目( 2018ADC150) （ 2018ADC150）
中央高校基本科研业务费专项基金资助项目( CZZ18003, QSZ17007) （ CZZ18003, QSZ17007）
