密码学报2021，Vol.8Issue(6)：1058-1073,16.DOI:10.13868/j.cnki.jcr.000496
检测类型缺陷的形式化构造攻击方法
A Formal Construction Attack Method for Detecting Type Defects
王建华 1张岚2
作者信息
- 1. 93114部队、北京100195
- 2. 信息工程大学,郑州450001
- 折叠
摘要
关键词
类型缺陷/类型构造攻击/密码认证协议分类
信息技术与安全科学引用本文复制引用
王建华,张岚..检测类型缺陷的形式化构造攻击方法[J].密码学报,2021,8(6):1058-1073,16.
