Needham-Schroeder对称密钥认证协议安全性分析
安全协议的形式化验证与分析已成为国际研究的热点。本文应用BAN 逻辑研究Needham-Schroeder 对称密钥认证协议,指出该协议存在的安全缺陷,利用消息新鲜性对其进行相应改进,并在BA
局部对称技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
安全协议的形式化验证与分析已成为国际研究的热点。本文应用BAN 逻辑研究Needham-Schroeder 对称密钥认证协议,指出该协议存在的安全缺陷,利用消息新鲜性对其进行相应改进,并在BA
·摘要: 分析了系数对称的FIR滤波器的基本原理和设计方法,并且结合实例介绍了如何利用Matlab来确定FIR滤波器系数的方法,实现了用DSP的循环寻址和FIRS指令设计出系数对称FIR滤波器,最后给出了程序流程图、仿真波形、硬...
·摘要: 文章讨论了紧支正交小波的对称化问题,并提出了一种新的对称化方法:把一大类紧支实值的非对称正交小波函数分解成对称和反对称两部分,并证明了其相应的两部分仍然构成对称和反对称的紧支正交小波基.而且我们发现尺度函数的对称和反对...
java写的局域网广播系统.本软件包括2个部分:局域网广播系统——服务端,局域网广播系统——接收端,服务端是通过网络连接,与一些固定的计算机相连形成局域网进行彼此间的信息发送,实现通信功能。可以发送计算机中存储的文本文件,只对以文本文挡(t...
资料->【B】电子技术->【B6】品质管理->【1】标准规范(国标、行标、安规、规范)->【国标 GB】->GB 15843.2-1997 信息技术 安全技术 实体鉴别第2部分:采用对称加密算法的机制.pdf