摘要
文章介绍了密钥交换协议SSL3.0协议,并利用模型检测工具SPIN对其进行了形式化分析、建模和验证。实验结果表明此验证方法的正确性,证明了协议本身的安全性与可行性,并且提高了协议的验证效率。
This article describes the key exchange protocol SSL 3.0,then conducts a formalized analysis、modeling and verification of the protocol by using the famous model checking tool SPIN.The experimental results show that this method of verification is correct,certificate the safety and feasibility of the protocol itself, and improve the the verification efficiency of the protocol.
出处
《计算机与数字工程》
2010年第8期156-159,共4页
Computer & Digital Engineering
基金
江西省自然科学基金项目(编号:0611057
2007GZS1884)资助