首页 | 本学科首页   官方微博 | 高级检索  
     

基于Spi演算的SSL3.0协议安全性分析
引用本文:赵宇,王亚弟,韩继红.基于Spi演算的SSL3.0协议安全性分析[J].计算机应用,2005,25(11):2515-2520.
作者姓名:赵宇  王亚弟  韩继红
作者单位:信息工程大学,电子技术学院,河南,郑州,450004
摘    要:对标准Spi演算的语法及语义进行了合理扩展,并利用扩展后的Spi演算对大型复杂协议SSL V3.0的安全性进行了形式化分析,得出了与其他分析方法相同的结论。

关 键 词:Spi演算  SSL  V3.0  形式化验证
文章编号:1001-9081(2005)11-2515-06
收稿时间:2005-05-23
修稿时间:2005-05-232005-08-10

Security analysis of SSL 3.0 based on Spi calculus
ZHAO Yu,WANG Ya-di,HAN Ji-hong.Security analysis of SSL 3.0 based on Spi calculus[J].journal of Computer Applications,2005,25(11):2515-2520.
Authors:ZHAO Yu  WANG Ya-di  HAN Ji-hong
Affiliation:Institute of Electronic Technology, Information Engineering University, Zhengzhou Henan 450004, China
Abstract: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.
Keywords:Spi calculus  SSL V3  0  formal verification
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机应用》浏览原始摘要信息
点击此处可从《计算机应用》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号