基于Spi演算的SSL3.0协议安全性分析

作者：赵宇; 王亚弟; 韩继红

来源：计算机应用, 2005, (11): 2515-2520.

• Spi演算
• SSLV3.0
• 形式化验证 Spi calculus
• SSL V3.0
• formal verification

对标准Spi演算的语法及语义进行了合理扩展,并利用扩展后的Spi演算对大型复杂协议SSL V3.0的安全性进行了形式化分析,得出了与其他分析方法相同的结论。

• 单位
  信息工程大学