...
机译:验证一类Diffie-Hellman协议的代数方法
Department of Computing University of Surrey Guildford Surrey GU2 7XH UK;
Department of Computing University of Surrey Guildford Surrey GU2 7XH UK;
Protocol verification; Diffie-Hellman;
机译:验证一类Diffie-Hellman协议的代数方法
机译:关系代数方法进行协议验证
机译:验证Internet协议栈的安全属性:拆分验证方法
机译:一种关于一类Diffie-Hellman协议推理的正式方法
机译:RFID协议中不可追溯性的分类,形式化和自动验证。
机译:一种未知数识别的替代方法:设计一种协议来验证固氮细菌的身份
机译:验证一类Diffie-Hellman协议的代数方法
机译:用于验证设备同步协议的机械化过程代数