Cryptographic Protocols; Formalization; Formal Analysis; Forward Reasoning;
机译:正式验证三原则密码协议的方法
机译:加密协议的形式分析及支持工具
机译:从Satan的菜单订购:对加密协议进行形式分析的需求规范调查
机译:用推理方法进行正式分析的正式化
机译:关于加密协议形式分析的计算合理性。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:扩展组协议和低级加密基元的正式密码协议分析技术
机译:扩展组协议和低级加密基元的正式密码协议分析技术