基于SAT的安全协议惰性形式化分析方法
顾纯祥,王焕孝,郑永辉,辛丹,刘楠
SAT-based lazy formal analysis method for security protocols
Chun-xiang GU,Huan-xiao WANG,Yong-hui ZHENG,Dan XIN,Nan LIU
通信学报 . 2014, (11): 117 -125 .  DOI: 10.11959/j.issn.1000-436x.2014.11.013