...
机译:密码协议中使用的代数性质概述
LORIA, CNRS and INRIA Lorraine project CASSIS, Campus Scientifique -BP 239, 54506 Vandoeuvre-les-Nancy cedex, France;
cryptographic protocols; algebraic properties; decidability results; exclusive or; abelian group; modular exponentiation; elliptic curves;
机译:在密码协议中建立基于等价属性的符号方法研究
机译:密码协议的代数模型和安全性分析
机译:RSA和公钥密码学密码学简介密码学:密码学的理论和实践椭圆曲线的密码学:密码学中的数论和密码学椭圆曲线现代密码学,概率证明和伪随机性基础密码学:基本工具Rijndael的设计: -应用密码学高级加密标准手册
机译:处理代数性质的密码协议验证工具的性能评估
机译:存在代数性质的密码协议验证算法。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:密码协议中使用的代数性质的调查
机译:密码协议的形式验证:一项调查。