基于TLA的NS安全协议分析及检测

黄贻望1,2,万良1,李祥1

Analysis and Checking of the NS Security Protocol Based on the Temporal Logic of Action

HUANG Yiwang1,2，WAN Liang1，LI Xiang1

J4 . 2010, (7): 38 -41 . DOI: 10.3969/j.issn.1007130X.2010.