退出
我的积分:
中文文献批量获取
外文文献批量获取
程小刚; 王箭; 陈永红;
南京航空航天大学计算机科学与技术学院,江苏南京210016;
华侨大学计算机科学与技术学院,福建厦门361021;
简短可验证洗牌; 可变性; 电子投票; QA-NIZK;
机译:可验证的洗牌:正式模型和基于Paillier的三轮结构,具有可证明的安全性
机译:基于高效的基于XOR的可验证视觉加密方案
机译:简短论文:基于纸质的电子投票方案中的可验证性和隐私性的机械化证明
机译:人与神之间的怜悯,或关于人与神之间恩慈的性质和必要性的简短论述,以及后者与前者的关系,特别参考《基督教圣经》,并考虑将人的怜悯作为一种义务,同时也是受益者和恩人的神圣怜悯时刻,其中还包含简短的神学人类学来支持这一论点,所有这些都表明与基督的联合是人类怜悯的基础和术语,因此,所谓的以仁慈方式进行爱的义务首先是“被爱”的义务,这由基督教神秘传统的两位神学家,即克莱尔沃的伯纳德和珍妮·古永的著作所证明。
机译:高效可证明的安全无配对安全性介导的基于身份的识别方案
机译:可验证的洗牌:正式模型和基于Paillier的有效构造,并具有可证明的安全性
机译:自适应机制理论。第一部分。基于二进制语义树的高效最大语义分辨率证明
机译:具有证明洗牌解码方法和证明洗牌解密系统的洗牌解密验证方法
机译:集成洗牌有效性证明设备,证明集成设备,集成洗牌有效性验证设备和混合网系统
机译:集成洗牌有效性证明装置,证明整合装置,集成洗牌有效性检验装置和混合网系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。