可证明安全

作品数：459被引量：2022H指数：17
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：马建峰胡予濮彭长根冯登国郭渊博更多>>
相关机构：西安电子科技大学解放军信息工程大学上海交通大学电子科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
公平可验证的多用户同态代理重加密方案
《通信学报》2025年第3期234-247,共14页侯金秋 彭长根 丁红发 杨训 
国家自然科学基金资助项目(No.62272124);贵州省教育厅自然科学研究基金资助项目(No.[2023]065,No.[2023]064);安徽财经大学校级科研基金资助项目(No.ACKYB24016)。
针对不可信云环境下传统全同态加密算法难以支持多用户密文共享及安全公平计算问题,提出了一种基于身份的可验证多用户同态代理重加密方案。首先,构建非合作博弈模型,提出动态资源分配算法,实现第三方云服务器的公平资源分配,确保资源...
关键词：代理重加密 同态加密 博弈论 可证明安全 
一种基于ISRSAC⁃PSS的顺序聚合签名算法被引量：1
《北京电子科技学院学报》2024年第4期66-77,共12页隋吉达 张艳硕 袁煜淇 唐嘉浩 
中央高校基本科研业务费专项资金资助(3282024001);“信息安全”国家级一流本科专业建设点。
聚合签名算法允许多个签名被压缩成一个单一的签名,从而提高签名的效率和隐私性。基于PSS(Probabilistic Signature Scheme)算法的顺序聚合签名算法是一种高效的签名方案,具有减少签名数据量、提升验证效率以及支持顺序化处理的特点,然...
关键词：ISRSAC⁃PSS 顺序聚合签名 随机预言模型 可证明安全性理论 
密码学课程中可证明安全的案例化教学设计
《北京电子科技学院学报》2024年第4期99-111,共13页张艳硕 卢泽 严梓洋 谢绒娜 
教育部“信息安全”国家级一流本科专业建设点项目资助;北京2021年高等教育教学改革创新重点项目:三纵三横--以“忠诚教育”为核心的课程思政育人模式探索与实践(课题编号:202110018001)。
在商用密码产业的快速发展和日益紧迫的国际环境的社会背景下,社会对密码技术专业人才有巨大需求,因此加速培养高质量的密码技术专业人才显得尤为迫切。可证明安全作为密码学理论体系的一部分,在密码学课程中如何教好可证明安全理论是...
关键词：信息安全 可证明安全性 案例化教学 公钥加密 签密方案 人才培养 
面对量子敌手的随机预言模型研究进展
《北京邮电大学学报》2024年第6期1-10,共10页尚涛 蒋亚卓 张源境 唐瑶 刘建伟 
国家自然科学基金项目(61971021,62471020);河北省重点研发计划项目(22340701D);中国高校产学研创新基金-北创助教项目(2021BCA02001)。
基于经典随机预言模型拓展出涵盖后量子密码学与量子密码学的量子随机预言模型,以探究密码协议的安全性,总结了不同随机预言模型的研究进展,通过归纳其概念、实例化方法以及安全证明方法,对存在量子敌手的随机预言模型进行归纳。同时介...
关键词：后量子密码 量子密码 量子随机预言模型 可量子访问随机预言模型 可证明安全 
基于SM9的撤销加密方案
《软件学报》2024年第12期5609-5620,共12页赖建昌 黄欣沂 何德彪 陈立全 杨少军 
国家自然科学基金(62032005,U21A20466,U22B2026,62272104);东南大学新进教师科研启动项目(RF1028623200)。
撤销加密是一种反向的广播加密技术,加密算法的输入不是接收者集合而是撤销用户的集合,系统中所有不在撤销集合中的用户都可以正确解密密文,撤销集合中的所有用户合谋也无法获取加密数据的内容.与广播加密相比,撤销加密更适用于接收者...
关键词：撤销加密 SM9 广播加密 可证明安全 定长密文 
FX密钥长度扩展构造量子Q1安全性证明
《密码学报（中英文）》2024年第5期1139-1151,共13页郭淳 黄安静 郁昱 
国家自然科学基金(62002202);山东省自然科学基金重大基础研究项目(ZR202010220025)。
FX构造FX_(k,k′)[E]=E_(k)(x⊕vk′)⊕k′将密钥长度为κ比特的分组密码E:{0,1}^(κ)×{0,1}^(n)→{0,1}^(n)转化为密钥长度为κ+n比特的分组密码,是最高效的密钥长度扩展方法.基于对所谓Even-Mansour构造的前期研究(EUROCRYPT 2022),A...
关键词：后量子安全性 可证明安全 密钥长度扩展 FX构造 
一种安全的集群无线网络环境下密钥协商协议
《网络空间安全科学学报》2024年第5期57-66,共10页尹日升 刘潇 马永柳 杜宜宾 程庆丰 
国家自然科学基金(62472438,62172433);河南省自然科学基金(242300421414)。
集群无线网络作为物联网的一种应用领域,通常部署于不安全的环境,容易遭受网络攻击和利用。近年来,随着集群无线网络环境的研究逐渐增多,适用于集群无线网络环境的认证密钥协商协议应运而生。但是由于集群无线网络本身具有能源消耗高、...
关键词：集群无线网络 认证密钥协商协议 可证明安全 BAN逻辑分析 Scyther形式化分析 
基于物理不可克隆函数的轻量级可证明安全车联网认证协议
《电子与信息学报》2024年第9期3788-3796,共9页夏卓群 苏潮 徐梓桑 龙科军 
国家自然科学基金(52172313);湖南省自然科学基金(2023JJ30033);湖南省自然科学基金(2024JJ6066);新疆维吾尔自治区重点研发计划(2023B03004-3);湖南省教育厅科学研究项目(23B0288)。
车联网(IoVs)广泛用于获取车辆和道路状况等信息,但是这些信息都是在公共信道中进行传输,所以最重要和关键的要求之一就是在严格延迟要求下的数据安全。其中,认证是解决数据安全最常用的方法,但是由于车联网的资源受限和对延迟敏感等特...
关键词：车联网 认证协议 隐私保护 物理不可克隆函数 车路云协同 
基于SM2的高效签密方案
《信息安全研究》2024年第6期526-531,共6页张宇 汪宗斌 秦体红 
签密融合了数字签名和数据加密的功能,能有效减少系统的计算开销和通信开销.现有签密方案主要以国外设计为主,不符合核心技术自主创新、信息安全自主可控的要求.包含数字签名算法、数据加密算法的SM2密码算法是我国自主设计的商用密码算...
关键词：SM2 ECC 签密 可证明安全 随机预言模型 
可证安全的ISRSAC密码体制的设计与分析被引量：2
《北京电子科技学院学报》2024年第2期34-42,共9页袁煜淇 隋吉达 张艳硕 秦晓宏 
中央高校基本科研业务费专项资金资助(3282024048);“信息安全”国家级一流本科专业建设点。
本文讨论了可证安全的ISRSAC密码体制的设计与分析。在对ISRSAC算法的流程和ISRSAC的正确性和安全性进行研究和分析的基础上,对ISRSAC方案的缺陷做出改进,并设计了ISRSAC-OAEP和ISRSAC-PSS两种可证明安全的密码算法方案。文章结尾分析了...
关键词：ISRSAC 可证明安全性理论 密码体制 适应性选择密文攻击 
全选清除导出
共46页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部