Horn clauses; cryptographic protocols; process algebra; Diffie-Hellman exponentiation; Horn theory; ProVerif tool; XOR operator; algebraic property; cryptographic protocol analysis; exclusive OR;
机译:具有Diffie-Hellman指数和通勤公钥加密的安全协议的复杂性结果
机译:用于Diffie-Hellman密钥交换协议的GF(2 ^ K)中的并行蒙哥拉姆指数
机译:使用Abelian组运算符或Diffie-Hellman指数进行符号协议分析
机译:使用箴言分析与Difie-Hellman指数的协议
机译:Diffie-Hellman密钥交换协议,其泛化和幂等组。
机译:富含淀粉的商品中的极性脂质将通过基于LC-MS的代谢组学进行分析-电离参数的优化和高通量提取方案
机译:使用proVerif分析具有Diffie-Hellman指数的协议