机译:可验证的洗牌:正式模型和基于Paillier的三轮结构,具有可证明的安全性
机译:可验证的洗牌:正式模型和基于Paillier的三轮结构,具有可证明的安全性
机译:基于Paillier密码系统变体的可证明安全有效的可洗牌
机译:可验证的洗牌:正式模型和基于Paillier的有效构造,并具有可证明的安全性
机译:广播和可验证的秘密共享:新的安全模型和全面的优化构造。
机译:基于物联网的医疗系统的有效用户身份验证和用户匿名方案具有可证明的安全性
机译:具有较强安全性的一轮核心交换:标准模型中的高效通用构建