改进的安全协议自适应分析算法
杨京,范丹,张玉清
Adjusted automata learning algorithm for security protocol adaptive model checking
Jing YANG,Dan FAN,Yu-qing ZHANG
通信学报 . 2015, (Z1): 266 -276 .  DOI: 10.11959/j.issn.1000-436x.2015308