NSPK协议相关论文
NSPK协议是一个经典的认证密码协议．通过建立该协议的Promela模型，采用线性时序逻辑描述模型性质，并用模型检测工具Spin进行验证，进而......
本文针对Needham-Schroeder公钥认证协议存在的问题,利用TPM的相关功能对协议进行了改进,提出了基于TPM的NSPK认证协议。解决了攻......
