一种基于关联规则的安全协议验证方法
胡声洲 余敏 章志明
Verification method of security protocols based on correlation rules
计算机应用 . 2007, (8): 1915 -1918 .