注入攻击序列搜索算法对安全协议的验证研究-计算机科学与探索.pdfVIP

ISSN 1673-9418 CODEN JKYTA8 E-mail: fcst@ Journal of Frontiers of Computer Science and Technology 1673-9418/2010/04(07)-0608-09 Tel: +86-10 DOI: 10.3778/j.issn.1673-9418.2010.07.004 * + , , 210093 Application Research of Inject Attack Sequence Searching Algorithm for Secu- * rity Protocol Verification HAN Jin + , XIE Junyuan State Key Laboratory for Novel