Proving Mutual Authentication Property of 5G-AKA Protocol Based on PCL. | 0 | 0.34 | 2021 |
Deriving Security Protocols Based on Protocol Derivation System. | 0 | 0.34 | 2020 |
基于SPIN的Andrew Secure RPC协议并行攻击模型检测 (Model Checking of Parallel Attack in Andrew Secure RPC Protocol Based on SPIN). | 0 | 0.34 | 2015 |
The Formal Verification and Improvement of Simplified SET Protocol. | 0 | 0.34 | 2014 |