【摘 要】
：
提出了一种在选择密文攻击下可证明安全的可验证Mix-Net协议。在Wikstrom Mix-Net方案基础上,引入了新的密钥生成算法和秘密混洗零知识证明构造方法,提高了安全性。在不暴露
论文部分内容阅读
提出了一种在选择密文攻击下可证明安全的可验证Mix-Net协议。在Wikstrom Mix-Net方案基础上,引入了新的密钥生成算法和秘密混洗零知识证明构造方法,提高了安全性。在不暴露输入密文与输出明文匹配关系的条件下,任何人都可以根据Mix服务器公布的证据验证输出结果的正确性,即满足可公开验证性;任意发送者还可以追踪和检验自己输入的密文的处理过程,即满足发送者可验证性。基于随机预言机假设证明了该协议在适应性选择密文攻击模型下的安全性。与之前具有类似安全属性的方案相比,所提协议无需信任中心,无需用户与服务
其他文献
随着社会经济的不断发展,互联网的普及程度达到了前所未有的高度,从其实际效能来看,互联网对传统的教学模式产生了一定程度的冲击,这对本科院校教学来说既是一种挑战,也是一
【案情】$$2014年9月，患者张某因身体不适去村卫生室就诊，村卫生室医生龚某诊断张某患有感冒，为其输液治疗。输液后，张某当晚出现皮肤瘙痒、斑疹等症状。次日复诊时，遵医嘱转院治
临床实习是医学教育的重要阶段。要搞好临床实习,应充分认识临床医学的实践性,注重培养医学生作为医生的责任感。通过引导学生用良好的方法管理病人,如＂3W＂的思维方式,利用临床
多数肿瘤化疗患者睡眠质量差，睡眠障碍对糖代谢及内分泌功能有不良影响，降低了机体抵抗力，影响患者治疗及康复［1‐2］。笔者对107例肺癌化疗患者的睡眠质量及影响因素进行调查，以期
针对高水头、复杂管道、带上、下调压室的大型抽水蓄能电站甩负荷和泵断电过渡过程，在全面分析、处理各类复杂边界基础之上，建立了具体的基于水泵水轮机装置内特性解析理论的特
玉米测土配方施肥试验,主要是探索氮、磷、钾施用量与产量的相关关系,为测土配方、配肥、施肥提供理论依据,提高粮食单产水平,降低生产成本,提高肥料利用率,减少化肥投放不均
针对低雷诺数（Re）翼型气动性能差的特点,文章通过对翼型柔性蒙皮施加主动振动的方法,提高翼型低Re下的气动特性,改善其流场结构.采用带预处理技术的Roe方法求解非定常可压缩Nav
以生长在陕西黄土高原半干旱气候区安塞县和半湿润气候区长武县的刺槐人工林为研究对象，采用土钻法获取根样，研究不同气候区刺槐细根的垂直分布特征。结果表明：两地刺槐细根分布
以重庆洪崖洞民俗风貌区为研究案例地,收集2015-2018年其网络关注度及有关数据,利用年度季节强度指数、黄金周内分布偏度指数等方法测度网络关注度的时空特征,并运用回归方程
实验研究纳米铝粉在微尺度下的点火、燃烧现象,结合纳米铝氧化理论、颗粒间烧结模型,提出纳米铝粉在微尺度下的点火、燃烧模式。在微燃烧室内常温常压静止空气流中,纳米铝粉