Communications protocols; Cryptography; Reasoning; Language; Formal language;
机译:加密协议的形式分析及支持工具
机译:从Satan的菜单订购:对加密协议进行形式分析的需求规范调查
机译:正式验证三原则密码协议的方法
机译:是什么使加密协议安全?正式密码协议分析中需求规范的演变
机译:关于检查密码协议的正式方法。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:扩展组协议和低级加密基元的正式密码协议分析技术
机译:扩展组协议和低级加密基元的正式密码协议分析技术