机译:可验证的洗牌:正式模型和基于Paillier的三轮结构,具有可证明的安全性
Privacy; Verifiable shuffles; Formal security model; Mix-nets; Paillier public-key system;
机译:可验证的洗牌:正式模型和基于Paillier的三轮结构,具有可证明的安全性
机译:形式安全模型中可证明的安全多重签名及其最优性
机译:带有辅助助手密钥的密钥隔离的公钥加密:模型,构造和正式的安全证明
机译:可验证的洗牌:正式模型和基于Paillier的有效构造,并具有可证明的安全性
机译:广播和可验证的秘密共享:新的安全模型和全面的优化构造。
机译:在标准模型中具有可验证安全性的仅密码认证的第三方密钥交换
机译:可验证的洗牌:正式模型和基于Paillier的有效构造,并具有可证明的安全性
机译:多核嵌入式平台能够正确合成关键任务嵌入式软件的形式化方法