机译:日常对象的加密协议
Department of Computing, University of Surrey, Guildford, Surrey GU2 7XH, UK;
Department of Computing, University of Surrey, Guildford, Surrey GU2 7XH, UK;
Department of Computer Science and Software Engineering, University of Melbourne, Melbourne, Australia;
CSP; Formal modelling; Formal methods; Cryptography; Everyday objects;
机译:密码学和密码协议Oded Goldreich
机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:加密协议逻辑:对(定时)Dolev-Yao加密的满意
机译:计算日常场景中的日常对象
机译:部分指定的协议:寻求真实密码协议的证明。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:日常物品的密码协议
机译:扩展组协议和低级加密基元的正式密码协议分析技术