...
机译:带有障碍的pi演算中的等价自动推理
Inria;
Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg;
Applied pi calculus; automated reasoning; ballot secrecy; barrier synchronisation; equivalence; e-voting; privacy; receipt-freeness;
机译:有状态的应用pi演算:观察等效性和标记双相似性
机译:具有扩展应用Pi演算的远程Internet投票协议中的拒绝服务攻击抵抗力的自动证明
机译:具有扩展应用Pi演算的远程Internet投票协议中的拒绝服务攻击抵抗力的自动证明
机译:带障碍的应用Pi演算中的等价自动推理
机译:判别分析适用于高级位置数学的成绩预测:CALCULUS AB或CALCULUS BC(统计,中学,回归分析,协方差分析,大学董事会)。
机译:全球卫生专业中道德推理和身份的个人演算
机译:带障碍的应用Pi演算中的等价自动推理