A Security Analysis Method of Security Protocol Implementation Based on Unpurified Security Protocol Trace and Security Protocol Implementation Ontology. - Xudong He 001; Jiabing Liu; Chin-Tser Huang; Dejun Wang; Bo Meng 004 (IEEE Access, 2019)

Analyzing Security Protocol Web Implementations Based on Model Extraction With Applied PI Calculus. - Xudong He 001; Qin Liu 020; Shuang Chen; Chin-Tser Huang; Dejun Wang; Bo Meng 004 (IEEE Access, 2020)