基于时间戳私钥签名技术的Nayak—T协议安全性分析 - 肖美华;梅映天;李伟;李娅楠;钟小妹;宋子繁 (计算机工程与科学, 2017)
Keywords: Nayak—T协议; Nayak协议; 时间戳; 模型检测; 私钥签名; 模型检测; private key signature; Nayak协议; Nayak-T protocol; model checking; 时间戳; time stamp; 私钥签名; Nayak protocol; Nayak-T协议