Title
基于SPIN的Andrew Secure RPC协议并行攻击模型检测 (Model Checking of Parallel Attack in Andrew Secure RPC Protocol Based on SPIN).
Year
DOI
Venue
2015
10.11896/j.issn.1002-137X.2015.07.022
计算机科学
DocType
Volume
Issue
Journal
42
7
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Meihua Xiao101.35
Ke Zhu201.35
Chenglin Ma301.35