注入攻击序列搜索算法对安全协议的验证研究*

韩进+ ;谢俊元

Application Research of Inject Attack Sequence Searching Algorithm for Secu-rity Protocol Verification*

HAN Jin ⁺; XIE Junyuan

计算机科学与探索 . 2010, (7): 608 -616 . DOI: 10.3778/j.issn.1673-9418.2010.07.004