因特网密钥交换协议研究

来源 :计算机工程 | 被引量 : 0次 | 上传用户：tornadohearwind

【摘要】

：

密钥交换协议是密码协议中主要的一类协议,安全可靠的密钥交换是通信安全性的基础,因特网密钥交换协议IKE作为IPSEC协议族的关键组成部分,在因特网的安全通信和安全服务中发

【作者】

：

庞南戴英侠李镇江

【机构】

：

中国科学技术大学研究生院信息安全国家重点实验室

【出处】

：

计算机工程

【发表日期】

：

2002年5期

【关键词】

：

因特网密钥交换协议形式化分析网络安全密码学 KeywordsISAKMP IKE Formal analysis

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

密钥交换协议是密码协议中主要的一类协议,安全可靠的密钥交换是通信安全性的基础,因特网密钥交换协议IKE作为IPSEC协议族的关键组成部分,在因特网的安全通信和安全服务中发挥着非常重要的作用,成为密码协议分析和研究的一个热点.该文首先介绍IKE协;议,然后对协议中一种具体的密钥交换模式的安全性使用逻辑方法进行证明,并得出关于协议正确性的结论.

其他文献

基于负载平衡的无线ad-hoc网络路由

ad-hoc无线移动网络是一种无基础通信设施的网络,网络中没有专门的路由器,但所有的结点都能够自由移动,并可以动态地和其他结点相连.为了使非通信范围内的移动结点之问进行通

期刊

无线ADhoc网络:路由负载平衡路径寻找路径保持Wireless ad hoc networkRoutingLoad balanceRoute dis

基于VPN／IPSec的移动IP安全网络模型

在综合考虑移动网络的各种特性和特殊安全需求的基础上,提出了一种基于VPN/IPSec的移动IP安全网络模型.模型具有很强的移动性、灵活性和扩展性,同时结合VPN、IPSec、防火墙等

期刊

VPN移动IP移动网络安全模型网络安全INERNET移动计算机通信IPSEC协议防火墙Mobile IP；VPN；IPSec；Mobile n

远程天气会商系统中的数据流处理

数据处理是远程天气会商系统中的一个重要方面,为了增强系统的可维护性和可扩充性,采用了分层封装的解决方法.引入了优先级的概念来协调各功能模块之间因争夺网络资源而引起

期刊

远程天气会商系统数据流处理计算机网络CSCW气象预报Data flowThread CSCW WinSock

一种基于双眼系统的物体表面三维重建方法

从双眼系统模型出发，利用射影几何学的有关理论推导出了一种在该模型下物体表面的三维重建方法。提出的重建方法原理简单，输入条件是现实中最常见的条件，具有较高的实用价值。

期刊

双眼系统图像三维重建Stereovision system Image Three-dimension reconstruction

电子商务系统基本安全问题的分析和描述

在简单介绍了电子商务的基本知识后,对电子商务安全所涉及的技术问题、实现安全的电子商务系统所应具备的要素进行了系统的描述,并提出引入攻击树概念来描述电子商务安全系统

期刊

安全电子商务攻击树Security E-commerce Attack trees

加工中心限位开关故障排除

限位开关是加工中心电气系统中的基本元件，由于加工中心工作中是以“高速”来压合限位开关，所以限位开关是一种易损件，故障率较高。笔者在多年的维修实践中发现限位开关常出现下

期刊

加工中心限位开关故障排除电气系统

因特网密钥交换协议研究

其他学术论文