NSPK协议相关论文
SAL是一种新的结合模型检验和定理证明技术的分析框架。它使用一种过渡性的中间语言将不同验证工具统一在其框架之中，以便保证安全......
NSPK协议是一个经典的认证密码协议．通过建立该协议的Promela模型，采用线性时序逻辑描述模型性质，并用模型检测工具Spin进行验证，进而......
本文针对Needham-Schroeder公钥认证协议存在的问题,利用TPM的相关功能对协议进行了改进,提出了基于TPM的NSPK认证协议。解决了攻......
