基于模型检测的SSL协议形式化验证

王巍; 曾华朴; 黄艳洋

首页> 中文期刊> 《集美大学学报：自然科学版》 >基于模型检测的SSL协议形式化验证

基于模型检测的SSL协议形式化验证

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

针对传统的测试方法无法对网络安全协议的逻辑本身进行验证等问题,提出了一套基于形式化分析和SPIN模型检测的验证方法.该方法首先以BAN逻辑对目标协议进行形式化分析,然后推断目标协议存在的问题缺陷,并通过Promela语言对其构建SPIN模型,最后通过SPIN软件验证推断的正确性.并以SSL协议作为具体实例予以论证,结果表明所提方法具可行性.

著录项

来源
《集美大学学报：自然科学版》 |2014年第5期|386-392|共7页
作者
王巍; 曾华朴; 黄艳洋;
展开▼
作者单位

集美大学计算机工程学院;

集美大学信息工程学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TE393;
关键词
模型检测; SPIN; SSL协议; Promela; LTL;

相似文献

中文文献
外文文献
专利

1. 基于模型检测的区块链智能合约公平性形式化验证 [J] . 肖美华 ,周浩洋 ,朱志亮 . 华东交通大学学报 . 2021,第003期
2. 基于模型检测的无线体域网安全协议形式化验证 [J] . 陈铁明 ,虞震波 ,王婷 . 浙江工业大学学报 . 2015,第005期
3. 基于符号模型检测的Web服务组合形式化验证 [J] . 张世杰 ,徐鹏 ,刘沛瑶 . 计算机与数字工程 . 2021,第003期
4. 基于概率模型检测的微电网的形式化验证 [J] . 孙春竹 ,杨晋吉 . 华南师范大学学报（自然科学版） . 2018,第002期
5. 基于CTL模型检测的胃腺癌核心路径形式化验证 [J] . 王亚鹏 ,雷丽晖 . 计算机工程与科学 . 2018,第012期
6. 基于CTL模型检测的胃腺癌核心路径形式化验证 [C] . WANG Ya-peng ,王亚鹏 ,LEI Li-hui . 2018年全国理论计算机科学学术年会 . -1
7. 基于模型检测的SET协议形式化验证与改进 [A] . 万子龙 . 2014

基于模型检测的SSL协议形式化验证

摘要

著录项

相似文献

相关主题

期刊订阅