认证的密钥交换协议及SVO逻辑证明

来源 :通信技术 | 被引量 : 0次 | 上传用户:zbbankcomm
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在环境受限的无线通信网络环境中,身份认证和会话密钥的协商是确保通信双方能否建立安全会话的关键。为使认证和密钥建立协议中采用的密码技术能适合受限通信环境中的应用,提出一个基于身份的认证的密钥建立协议,并使用SVO逻辑证明设计协议的安全目标。 In an environment of limited wireless communication network environment, the authentication and session key negotiation are the keys to ensure that both parties can establish a secure session. In order to adapt the cryptographic technology used in the authentication and key agreement to the application in the restricted communication environment, a key establishment protocol based on identity authentication is proposed and the security goal of the design protocol is proved by SVO logic.
其他文献
抗干扰能力是超宽带通信技术必须研究的关键问题之一。建立了部分频带干扰模型和超宽带通信系统模型,并忽略背景热噪声的影响。通过理论分析和实验仿真,分析了脉冲参数和跳时
在Raleigh信道下对自适应调制结合空频分组码的OFDM方案进行性能分析。针对多径传播引起的快衰落问题,在简化为广义稳态非相关散射多径信道的基础上给出改进的Raleigh信道模
以空时编码为切入点,介绍一种空时编码简化译码算法,在极大似然算法的基础上,对配方简化译码算法进行了解析并利用配方法来推导新的简化译码算法,研究了算法的接收信噪比特性
现有的启发式抢占算法不易找到最优解,容易造成带宽的浪费。文中通过分析DS-TE(Differentiated Services Traffic Engineering)网络环境中的抢占策略,提出了一种优化的抢占算
MIMO-OFDM已成为4G宽带无线通信系统极具前景的备选方案,但与OFDM系统一样,系统仍然存在高峰均比(PAPR)问题.针对Turbo编码V-BLAST OFDM系统,提出了基于载波干涉(CI)技术的降
将频域迭代均衡算法应用于高阶调制的单载波系统,提出了比特软信息与符号软信息互换的算法,从而在较高的带宽利用率和较低复杂度的条件下提高了系统的整体性能。仿真表明该算
π-旋转LDPC码结构规则,存储量少,易于硬件实现。给出一种新的π-旋转LDPC码编码、解码方法。根据校验矩阵的半规则化结构,给出校验矩阵行索引和列索引矩阵的构造方法。基于
针对考试替考现象以及考场作弊行为,提出了基于ARM和DSP双核处理器的硬件架构.对指纹细节点进行Delaunay三角剖分,利用三角形检索方法进行指纹特征值的快速查询,从而实现对考
基于人类视觉系统特性,提出了一种大容量彩色图像静态多重数字水印算法.该算法利用离散小波变换良好的多尺度分析能力,实现了多个彩色水印图像在彩色载体图像中的嵌入及提取.
无缝垂直切换是异构无线网络融合的关键技术。通过分析垂直切换的执行过程,指出切换重认证所带来的长时延和分组丢失是影响切换性能的重要因素。对比分析了现有的几种重认证