机译:确定安全协议的知识-某些电子投票理论
LIP2, Faculte des Sciences, Tunis, Tunisia;
rnLIP2, Institut National des Sciences Appliquees et de Technologie, Tunis, Tunisia;
rnLoria, INRIA & CNRS, Nancy, Prance;
security protocols; formal methods; decidability; e-voting; equational theory; deduction; static equivalence;
机译:方程理论下的安全协议决定知识
机译:安全协议中两种知识概念的可判定性和组合结果
机译:收敛方程理论下的安全协议计算知识
机译:关于单式方程理论的安全协议的决定性知识
机译:在区块链,电子投票和可拒绝握手协议中的零知识证明,赋予性及其应用
机译:基于理论的知识干预的设计与评估以改善食管癌患者亲属的自我保健:随机对照试验研究方案
机译:在一些电子投票理论下决定安全协议的知识