组合身份建模相关硕士博士期刊学术论文 - 搜论网

组合身份建模相关论文

基于SPIN的Andrew Secure RPC协议并行攻击模型检测

Andrew Secure RPC协议具有身份认证和秘钥交换功能,其因简洁明了而被广泛应用于对称密钥加密体系中。模型检测技术具有高度自动化......

期刊

ANDREW SECURE RPC协议模型检测 SPIN 组合身份建模并行攻击 Andrew Secure RPC protocol Model chec

看过本文同时还关注