SSMCI：以攻击者为中心的安全协议验证机制
谷文,韩继红,袁霖
SSMCI:verification mechanism for security protocols centered on the attacker
Wen GU,Ji-hong HAN,Lin YUAN
通信学报 . 2017, (10): 175 -188 .  DOI: 10.11959/j.issn.1000-436x.2017208