...
机译:方程理论下的密码协议保密性
3988. Pavilion Adrien-Pouliot, Universite Laval, Ste-Foy, G1K 7P4 Canada;
secrecy; cryptographic protocols; equational theory;
机译:一阶逻辑中加密协议保密的自动验证
机译:自动验证密码协议线性逻辑规范的保密性
机译:关于BB84量子加密协议简单有效实施的保密
机译:加密协议中的保密的见证功能与解释功能:选择什么?
机译:方程式统一及其在密码协议形式验证中的应用
机译:时间尺度上的微分方程差分方程和动态方程的定性理论
机译:在加密协议的统一中禁用等式理论 通过标记进行分析
机译:扩展组协议和低级加密基元的正式密码协议分析技术