密码学报2023，Vol.10Issue(2)：P.306-319,14.DOI:10.13868/j.cnki.jcr.000596
基于观察等价性的协议猜测攻击形式化检测方法
苗旭阳 1顾纯祥 1陆思奇1
作者信息
- 1. 数学工程与先进计算国家重点实验室,郑州450001 网络密码技术河南省重点实验室,郑州450001
- 折叠
摘要
关键词
形式化分析/观察等价性/口令猜测攻击/Tamarin-Prover分类
信息技术与安全科学引用本文复制引用
苗旭阳,顾纯祥,陆思奇..基于观察等价性的协议猜测攻击形式化检测方法[J].密码学报,2023,10(2):P.306-319,14.
