首页> 中文期刊>计算机与数字工程 >基于SPIN的SSL 3.0握手协议模型检测

基于SPIN的SSL 3.0握手协议模型检测

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

文章介绍了密钥交换协议SSL 3.0协议,并利用模型检测工具SPIN对其进行了形式化分析、建模和验证.实验结果表明此验证方法的正确性,证明了协议本身的安全性与可行性,并且提高了协议的验证效率.

著录项

来源
《计算机与数字工程》|2010年第8期|156-159|共4页
作者
程莹; 康汶;
展开▼
作者单位

南昌大学信息工程学院,南昌,33003;

江西省信息中心,南昌,330046;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
SSL 3.0; 模型检测; SPIN; Promela; LTL;

相似文献

中文文献
外文文献
专利

1. 运用形式化语言N逻辑分析SSL3.0握手协议 [J] . 姚方伟 . 经济师 . 2010,第001期
2. SSL3.0基本握手协议的运行模式分析 [J] . 莫燕 ,张玉清 ,李学干 . 中国科学院研究生院学报 . 2005,第004期
3. 基于批量化密钥重分配的SSL握手协议 [J] . 罗卿 ,林亚平 . 计算机应用研究 . 2011,第001期
4. 基于ECC带缓存的快速SSL握手协议 [J] . 潘晓君 . 计算机工程 . 2008,第020期
5. 基于串空间模型的SSL3.0协议认证性分析 [J] . 方燕萍 ,张广泉 . 苏州大学学报（工科版） . 2007,第006期
6. 基于SPIN的SSL 3.0握手协议模型检测 [C] . 程莹 ,康汶 . 第七届全国Web信息系统及其应用学术会议、第五届全国语义Web与本体论学术研讨会、第四届全国电子政务技术及应用学术研讨会 . 2010
7. 基于谓词抽象和小系统理论的SSL握手协议模型检测 [A] . 华明辉 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号