%0 Journal Article
%T Security analysis of SSL 3.0 based on Spi calculus<br>基于Spi演算的SSL3.0协议安全性分析
%A ZHAO Yu
%A WANG Ya-di
%A HAN Ji-hong
%A <br>赵宇
%A 王亚弟
%A 韩继红
%J 计算机应用
%D 2005
%I 
%X 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.
%K Spi calculus
%K SSL V3
%K 0
%K formal verification<br>Spi演算
%K SSL
%K V3．0
%K 形式化验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=6AE3A621FE2D39AB&yid=2DD7160C83D0ACED&vid=C5154311167311FE&iid=708DD6B15D2464E8&sid=BFBBE640BA5811AE&eid=CD62F1CBC9F2B308&journal_id=1001-9081&journal_name=计算机应用&referenced_num=4&reference_num=16