NSSK协议相关论文
随着计算机网络应用的不断深入，对安全协议进行分析和研究已经成为信息安全领域的一个十分重要的研究方向。形式化分析由于其精炼、......
论文针对Needham—Schroeder对称密钥协议存在的问题,提出了在参与协议运行的各个实体中嵌入可信平台模块TPM,利用TPM的保护存储等......
本文介绍了串空间模型中的基本概念和定理,并首次利用串空间理论,从机密性和认证性两个方面,对改进的NSSK协议进行了分析.分析结果......
随着对计算机网络应用的不断深入,对网络协议的安全性进行分析和研究已经成为信息安全领域的一个十分重要的研究方向。设计安全协......
NSSK协议的主要功能是完成身份的双向认证，提出一种新的攻击方法，并给出改进方案，使之具有更强的安全性，最后应用BAN形式化分析改进的......
在安全协议的各种验证方法中,进程代数方法依托完善的进程演算理论得到了很好的应用。Spi演算在PI演算的基础上扩充了密码操作原语......
针对NSSK协议存在重放攻击的威胁和系统负担较重的缺陷,提出一种改进的NSSK协议,即ENS协议。利用文献[7]的方法对协议进行了验证,......
对快速、高效的形式化分析安全协议进行研究，提出“信任域”的概念。采用与图形化相结合的分析方法，使得协议流程的推导过程清晰、直......
认证协议是保证网络安全的基础，NsSK协议是最早最经典的一种认证密码协议．本文分析了NSSK协议的安全特性，提出了一种改进的NSSK协议，并......
密钥管理是智能变电站信息安全防护措施成功实施的关键,密钥管理方案设计的难点在于结合智能变电站通信特点与安全需求,平衡安全性......
