public-key cryptography; computational model; automated security proving; process calculus; observational equivalence;
机译:基本和公开密钥Kerberos的加密安全证明
机译:基本和公开密钥Kerberos的加密安全证明
机译:Needham-Schroeder-Lowe公钥协议的加密安全证明
机译:计算模型中公钥密码自动安全证明框架
机译:秘密和安全地实现秘密密钥和Quantum公钥加密,在物联网上,云计算和硬件安全性
机译:安全增强的加密方案和其加密安全性的评估
机译:用于基本和公钥Kerberos的密码声音安全证明
机译:公钥加密。计算机安全