Security analysis of SSL 3.0 based on Spi calculus
基于Spi演算的SSL3.0协议安全性分析

Spi calculus is a process algebra-based formal method of analyzing security protocols. It can support all cryptographic primitives. The syntax and semantics of standard Spi calculus were extended appropriately. The extended Spi calculus was applied to the formal analysis of SSL V3.0, and achieved some identical conclusions with other formal methods.