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

HAN Jin +; XIE Junyuan

Journal of Frontiers of Computer Science and Technology . 2010, (7): 608 -616 .  DOI: 10.3778/j.issn.1673-9418.2010.07.004