基于SPIN的Andrew Secure RPC协议并行攻击模型检测 (Model Checking of Parallel Attack in Andrew Secure RPC Protocol Based on SPIN)

Meihua Xiao, Ke Zhu, Chenglin Ma. 基于SPIN的Andrew Secure RPC协议并行攻击模型检测 (Model Checking of Parallel Attack in Andrew Secure RPC Protocol Based on SPIN). 计算机科学, 42(7):103-107, 2015. [doi]

Abstract

Abstract is missing.