机译:收敛方程理论下的安全协议计算知识
LSV, ENS Cachan & CNRS & INRIA Saclay Ile-de-France, 61, avenue du President Wilson, 94230 Cachan, France;
LSV, ENS Cachan & CNRS & INRIA Saclay Ile-de-France, 61, avenue du President Wilson, 94230 Cachan, France;
LSV, ENS Cachan & CNRS & INRIA Saclay Ile-de-France, 61, avenue du President Wilson, 94230 Cachan, France;
formal methods; security protocols; static equivalence;
机译:方程理论下的安全协议决定知识
机译:计算子技术融合理论的公式扩展知识
机译:在有状态协议的自动验证中超越子项收敛方程理论
机译:收敛方程理论下的安全协议知识计算
机译:具有强大安全性的加密协议:不可否认的承诺,并发零知识和隐藏拓扑的多方计算。
机译:二次收敛算法用于计算非线性超越方程的实根
机译:收敛方程理论下的安全协议计算知识