基于串空间模型的SSL3.0协议认证性分析

Authenticity Analysis of SSL 3.0 Based on Strand Space Model

形式化分析技术是揭示安全协议是否存在漏洞的重要途径,串空间模型是一种基于定理证明的、新兴的安全协议形式化模型。介绍了SSL3.0协议的握手过程和串空间模型的基本概念以及基于串空间模型的认证性测试方法,在此基础上建立了基于串空间的SSL协议握手过程的模型,并验证了SSL协议的认证性。

Formal analysis of protocol is a vital way of detecting errors in Security protocols. Strand space model is a rising security protocol model based on theorem proving. In the paper we discuss the basic concept of strand space model and test method based on strand space model SSL3.0 shaking protocol as well depending on above we make the SSL shaking protocol model. Then we analyze the security of the SSL 3.0 using the strand space model.