机译:计算模型中的概率多项式演算可否认身份验证协议的计算合理的机械化证明
机译:计算模型中带概率多项式演算的可否认身份验证协议的计算合理的机械化证明
机译:超轻量认证协议的递归线性和差分密码分析
机译:递归身份验证协议的机械化证明
机译:数据认证的协议和安全证明
机译:机械化推理的策略:评论米尔纳(1984)使用机器协助严格证明
机译:计算模型中具有概率多项式微积分的拒绝认证协议的计算上的声音证明
机译:无线认证协议实现:用于在地面和机载移动网络上进行测试的零知识证明(ZKp)协议实现的描述。