机译:安全协议中两种知识概念的可判定性和组合结果
LORIA, CNRS, Nancy, France;
LSV, ENS de Cachan & CNRS & INRIA, 61 avenue du President Wilson, 94235 Cachan Cedex, France;
formal methods; security protocols; equational theories;
机译:确定安全协议的知识-某些电子投票理论
机译:方程理论下的安全协议决定知识
机译:用于可达性和等价属性的可判定类别的安全协议
机译:关于单式方程理论的安全协议的决定性知识
机译:具有强大安全性的加密协议:不可否认的承诺,并发零知识和隐藏拓扑的多方计算。
机译:用于传染病的干预措施组合的协同概念在异质混合群体中
机译:安全协议中两种知识概念的可判定性和组合结果。