一种动态口令身份认证协议的研究与改进,赵铭伟,于晓晨,基于口令的身份认证技术是网络安全中最重要的分支之一。本文针对静态口令身份认证的安全隐患,在深入分析了传统的CHAP动态口令身��
动态口令用户认证机制是当前身份认证技术发展的一个重要方面,在分析了SAS-2和2GS两种动态口令用户认证协议的基础上,提出了一种更安全的动态口令用户认证协议。该协议不仅能有效地抵御SAS-2协议不能抵
针对形式化建模方法在进行网络协议分析时遇到建立模型过程复杂、状态空间庞大等问题,提出在Petri网的基础上,引入融合库所建立一种新的形式化模型。利用该方法对Otway-Rees协议建立模型,并从可达性
可认证的无线传感器网络密钥管理方案,潘安伟,,无线传感器网络通常部署在恶劣的无人区域或敌方阵地中,加之传感器节点在能量、存储、计算和通信方面的限制,使得网络的安全问题
大规模延迟容忍网络具有覆盖范围广、链路间歇性连通及通信时延长等特点,这使得现有认证密钥协商协议存在系统管理瓶颈及通信时延长等问题。设计了一种适用于大规模延迟容忍网络环境下的认证密钥协商协议,依赖基于分
提出通过测试来证明安全协议的方法。以NS和NSL协议为例,首先将协议形式化为事件序列,协议的性质可以表示为序列上的性质。协议的完整运行可以系统地生成,因此,协议的性质可以系统地测试。形式化和测试在函数
一种基于生物特征的盲身份认证协议,罗政彬,孙冬梅,伴随着互联网的迅速发展,互联网上的信息也相应的以指数化的速度增加,应用功能也愈发复杂,由此而来的信息安全问题也日益突出。
针对现有无线射频识别(RFID)认证机制存在的安全缺陷,提出一种新型抗恶意攻击的RFID双向认证协议,并基于GNY逻辑给出了协议的安全性证明。该协议将公钥加密算法和对称密钥加密算法相结合,采用阅读器双
一种分析和设计认证协议的新逻辑,缪祥华,张云生,本文扩展了BAN逻辑。根据扩展后的BAN逻辑,认证协议的分析和设计可以在同一个逻辑框架中来进行。
针对移动计算网络的技术特点,提出了一种适合移动用户与收费服务网络进行微支付和相互认证的协议。该协议的创新之处在于将微支付方案融入到认证协议中,使移动用户可利用笔记本电脑或掌上电脑浏览收费网页、购买低价