分享到:

对SSL握手协议密钥交换方式的改进与应用

本文分析了SSL协议的握手协议中密钥交换方式及匿名交换的不安全性,提出了用认证协议Kerberos来进行  (本文共3页) 阅读全文>>

《计算机与现代化》2006年05期
计算机与现代化

基于802.11i的四次握手协议的攻击

首先介绍无线局域网的新一代安全标准IEEE 802.11i,并详细阐述四次握手协议。结合实际情况,指出四次...  (本文共4页) 阅读全文>>

《计算机工程与设计》2013年11期
计算机工程与设计

2步握手协议在WLAN快速切换中的应用

简要分析了4步握手协议的漏洞,指出4步握手协议在面对DOS攻击时是脆弱的,提出了2步握手协议的握手方法。该协议采用序列数代替4步握手协议中的随机数,将4步握...  (本文共5页) 阅读全文>>

《计算机工程》2007年03期
计算机工程

基于802.11i四次握手协议的攻击分析与改进

回顾与分析了无线局域网的新一代安全标准IEEE 802.11i与四次握手协议。结合对实际协议的分析,指出四次握手...  (本文共3页) 阅读全文>>

浙江大学
浙江大学

基于Event-B的SSL握手协议建模分析与验证

随着互联网技术的发展和普及,网络环境正变得日益复杂。在开放的网络中,如何确保通信安全是当今—项重要的议题。以密码技术为基础,网络安全协议实现了开放网络环境中的通信安全,它是网络信息安全的基础。由于安全协议的重要性,它本身设计的合理性和正确性已经成为网络安全研究的重要内容。本文尝试使用形式化方法Event-B在Rodin平台上对安全套接层握手协议进行了建模分析与验证。文中首先介绍了形式化方法的概念并概述了安全网络协议及其性质的相关内容。然后对形式化方法Event-B及其工具Rodin进行了简要的介绍。其次,本文初步分析了安全套接层协议客栈的体系结构、工作原理和安全机制,并着重探究了握手协议。随后,试着提取了协议的需求说明,同时制定了模型精化策略,并在此基础上对握手协议进行了初步的建模分析。接着尝试对公钥真实性验证过程和有攻击者参与的情况分别进行了建模分析。最后借助Rodin平台的自动证明和交互式证明机制试着对模型正确性进行验证。本...  (本文共108页) 本文目录 | 阅读全文>>

《计算机工程》2011年16期
计算机工程

一种高效的无线传输层安全握手协议

现有的无线传输层安全(WTLS)握手协议通信量大,且不能对服务器证书的有效性进行在线验证。针对上述问题,提出一种改进的WTLS协议。在无线通信客户端预...  (本文共3页) 阅读全文>>