<p>TLS协议认证测试模型与形式化分析</p>

Formalized analysis for authentication test model of TLS

^{KONG Juan，CAO Li-pei}

Computer Engineering and Applications . 2009, (23): 100 -103 . DOI: 10.3778/j.issn.1002-8331.2009.23.028