Needham-Schroeder对称密钥认证协议安全性分析
安全协议的形式化验证与分析已成为国际研究的热点。本文应用BAN 逻辑研究Needham-Schroeder 对称密钥认证协议,指出该协议存在的安全缺陷,利用消息新鲜性对其进行相应改进,并在BA
WLAN安全协议技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
安全协议的形式化验证与分析已成为国际研究的热点。本文应用BAN 逻辑研究Needham-Schroeder 对称密钥认证协议,指出该协议存在的安全缺陷,利用消息新鲜性对其进行相应改进,并在BA
路由协议安全是网络安全的重要组成部分。本文深入分析了OSPF的安全特性,讨论了OSPF当前版本提供的安全机制中存在的安全漏洞及可能遭受的攻击,介绍了目前针对这些漏洞所提出的防范策略,文章的最后提出了基
在我们设计的远程测量系统中,多个基于ARM 的嵌入式系统位于测量点,管理员可通过网络对其进行访问。为实现系统的安全访问,设计了基于群签名的远程测量系统访问协议。本协议采用可验证的、无可信中心的
GEAR是一种基于位置的能量感知地理路由协议,该文针对GEAR 路由协议不能防御虚假路由、选择性转发和女巫攻击等问题,提出SGEAR安全路由协议,引入一种预知部署知识的基于位置的密钥对安全引导模型。对
针对无线局域网存在的安全问题,设计并实现了无线局域网安全检测与评估系统。系统能够对基于802.11b 的网络进行安全检测,结合漏洞扫描对网络安全性进行评估,给出评估报告及安全建议。Abstra
基于无线传感器网络的一种安全路由协议 针对无线传感器网络(WSN)中路由协议的安全隐患,提出了一种安全的路由协议.该路由协 议在传统的定向扩散协议基础上增加安全机制,把整个路由过程分为路由建立和路由更新2个阶段,并对其安 全性进行分析...