Security analysis of TLS protocol implementations based on model checking
Xing BI, Chaojing TANG
Systems Engineering and Electronics . 2021, (3): 839 -846 .  DOI: 10.12305/j.issn.1001-506X.2021.03.30