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

TLS协议认证测试模型与形式化分析

^{孔娟，曹利培}

Formalized analysis for authentication test model of TLS

^{KONG Juan，CAO Li-pei}

计算机工程与应用 . 2009, (23): 100 -103 . DOI: 10.3778/j.issn.1002-8331.2009.23.028