...
机译:Needham-Schroeder-Lowe公钥协议的加密安全证明
message authentication; protocols; public key cryptography; security of data; Dolev-Yao-style cryptographic library; Needham-Schroeder-Lowe public-key protocol; automated proof tools; cryptographically sound security proof; entity authentication; 65; Cryptography;
机译:基本和公开密钥Kerberos的加密安全证明
机译:基本和公开密钥Kerberos的加密安全证明
机译:RSA和公钥密码学密码学简介密码学:密码学的理论和实践椭圆曲线的密码学:密码学中的数论和密码学椭圆曲线现代密码学,概率证明和伪随机性基础密码学:基本工具Rijndael的设计: -应用密码学高级加密标准手册
机译:CreateCharam-Schroeder-Lowe公钥协议的加密声音安全证明
机译:部分指定的协议:寻求真实密码协议的证明。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:Needham-Schroeder-Lowe公钥协议的加密合理的安全性证明
机译:公钥加密。计算机安全