Dep. of Computer Science ETH Zurich CH-8092 Zurich, Switzerland;
protocol verification; constraints; partial-order reduction;
机译:约束差异化:减少搜索空间,用于基于约束的安全协议分析
机译:使用双线性配对对组密钥交换协议进行计算合理的符号安全性降低分析
机译:基于TAS / SC的主要通信,总干扰约束和非对称衰落信道的多跳认知中继协议的端到端安全可靠性分析
机译:约束分化:安全协议基于约束的基于约束分析的新减少技术
机译:基于约束的安全属性分析。
机译:通路分析和基于约束的细胞工厂设计方法的比较
机译:约束分化:对安全协议的约束分析的搜索空间减少