首页> 中文会议>第二届中国可信计算与信息安全学术会议 >IKE2协议的形式化分析

IKE2协议的形式化分析

页面导航

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

摘要

现有的IPSec密钥交换标准存在着若干安全漏洞,为了解决相关的安全及应用问题,IETF提出了IKE2协议.应用SVO逻辑对IKE2协议进行了形式化分析,证明了IKE2协议的密钥交换和认证安全性.对IKE2协议的分析也证明了SVO逻辑可用于分析基于Diffie-Hellman交换的复杂安全协议.

著录项

来源
《第二届中国可信计算与信息安全学术会议》|2006年|275-279|共5页
会议地点河北保定
作者
解云峰; 李之棠; 李伟明;
展开▼
作者单位

中国计算机学会;

河北大学;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类信息处理（信息加工）;
关键词
安全协议; SVO逻辑; IKE2;

相似文献

中文文献
外文文献
专利

1. IKE2协议的形式化分析 [J] . 解云峰 ,李之棠 ,李伟明 . 计算机研究与发展 . 2006,第0z2期
2. IKE2协议的安全性分析 [J] . 沈海峰 ,薛锐 ,黄河燕 . 计算机科学 . 2005,第011期
3. 无人机无线通信协议的形式化认证分析与验证 [J] . 刘栋 ,连晓峰 ,王宇龙 . 计算机测量与控制 . 2021,第004期
4. IEEE802.11w无线网络协议的形式化分析与验证 [J] . 梅映天 ,吴尚青 . 九江学院学报（自然科学版） . 2021,第002期
5. 基于CPN的安全协议形式化建模及安全分析方法 [J] . 龚翔 ,冯涛 ,杜谨泽 . 通信学报 . 2021,第009期
6. 安全协议形式化分析的MT组合分析技术 [C] . 范红 ,冯登国 ,邹良惠 . 第七届中国密码学学术会议 . 2002
7. RFID安全协议形式化分析研究及DRAP协议的建立与实现 [A] . 胡游君 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号