ZHANG, X., ZHU, Y., GU, C., & CHEN, X. Security protocol code analysis method combining model learning and symbolic execution. POSTS&TELECOM PRESS Co., LTD.
Chicago Style (17th ed.) CitationZHANG, Xieli, Yuefei ZHU, Chunxiang GU, and Xi CHEN. Security Protocol Code Analysis Method Combining Model Learning and Symbolic Execution. POSTS&TELECOM PRESS Co., LTD.
MLA (9th ed.) CitationZHANG, Xieli, et al. Security Protocol Code Analysis Method Combining Model Learning and Symbolic Execution. POSTS&TELECOM PRESS Co., LTD.
Warning: These citations may not always be 100% accurate.