-
题名非交互密钥协商综述
被引量：1
- 1
-
-
作者
张明瑞
张蕊
张磊
-
机构
华东师范大学软件工程学院上海市高可信计算重点实验室
软硬件协同设计技术与应用教育部工程研究中心
-
出处
《计算机学报》
EI
CAS
CSCD
北大核心
2024年第3期558-574,共17页
-
基金
国家自然科学基金(62372177,61972159)资助.
-
文摘
非交互密钥协商作为一种重要的密码学原语是一种极具潜力的安全信道建立范式,持续受到学术界和工业界的密切关注.本文综述了非交互密钥协商协议的发展概况以及待解决的问题.有别于以往的综述,我们在对传统的非交互密钥协商协议进行全面回顾的同时,还对由消息层安全协议衍生的一类部分非交互密钥协商协议进行了深入的探讨.这类协议的突出特点在于,它们能够(部分)非交互式地为群组建立(初次)会话密钥;且后续在群组需要动态变化时,仅需其中一个参与者发送一条请求消息,其他参与者进行监听就能完成群组会话密钥的更新.此外,本文首次讨论了一种基于非对称群密钥协商构造多方非交互密钥协商协议的潜在技术路线,以及利用区块链技术作为公钥基础设施扩充组件用于解决非交互密钥协商协议设计中潜在风险的方法.
-
关键词
密钥协商
群密钥协商
非交互密钥协商
消息层安全协议
-
Keywords
key exchange
group key exchange
non-interactive key exchange
messaging layer security
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名轻量级多用户可验证隐私保护基因序列分析方案
- 2
-
-
作者
胡云舒
周俊
曹珍富
董晓蕾
-
机构
华东师范大学软件工程学院密码与网络安全系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2024年第10期2448-2466,共19页
-
基金
国家自然科学基金项目(62172161,62132005,62172162)。
-
文摘
随着云计算、大数据等新兴网络服务的蓬勃发展,数据要素在智慧医疗、科学研究等领域中占据重要地位.基因组测序技术通过对病人基因组序列进行处理来判断病人的患病原因和类别,在多个领域有广泛应用.由于存储、计算资源受限,本地用户通常需要租用资源丰富但工作在不可信环境下的云服务器来完成复杂的大规模基因组测序处理函数计算任务.为了保护用户数据隐私及验证计算结果的正确性,国内外现有工作通常的做法是利用公钥全同态加密或安全多方计算技术实现数据隐私保护;利用Yao混淆电路或双线性配对技术实现计算结果的正确性验证.由于密码原语的计算开销和通信开销巨大,均不适用于基因序列分析系统中存储、计算资源受限的本地用户的客观性能需求.为了解决上述挑战性问题,提出了一个轻量级多用户可验证隐私保护基因序列分析方案.首先,构造了一种高效的可验证多密钥同态数据封装机制VMK-HDEM,该方案支持在密文域上对L个不同输入实例的打包计算,用户端Sen_(i)'s公钥加密的使用次数复杂度为O(L),即与其数据集的大小无关,大大降低了资源受限的本地用户的计算开销;在可验证性方面,云服务器生成的密文计算结果正确性验证证据大小复杂度为O(deg_(F))(其中deg_(F)代表外包计算函数的阶),与用户数据集大小无关.然后,基于所构造的新型密码原语VMK-HDEM,设计了一个轻量级高效的可验证隐私保护基因序列分析方案LWPPGS,有效保护了用户基因数据集的隐私和基因序列分析结果的隐私,并高效验证其分析结果的正确性.最后,通过形式化的安全性证明和实验仿真结果表明了所构造方案VMK-HDEM和LWPPGS的安全性和实用性.
-
关键词
多密钥全同态数据封装机制
可验证
基因序列分析
隐私保护
高效性
-
Keywords
multi-key fully homomorphic data encapsulation mechanism
verifiability
gene sequence analysis
privacy-preserving
efficiency
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名相控阵聚焦超声控制系统的设计
被引量：5
- 3
-
-
作者
王欢
张清
周红生
潘海林
刘逍逸
-
机构
中国科学院声学研究所东海研究站
华东师范大学软件工程学院国家可信嵌入式软件工程技术研究中心
-
出处
《压电与声光》
CAS
北大核心
2020年第6期735-738,共4页
-
基金
中国科学院声学研究所“青年英才计划”基金资助项目(QNYC201828)。
-
文摘
低强度聚焦超声治疗技术是当前超声治疗领域的研究热点,应用场景不同对于超声系统的参数和性能要求也具有差异化,相控阵技术的引入为解决聚焦声场精确控制带来了新的思路。现有相控阵聚焦超声控制系统的输出参数相对固定,频率和功率可调范围窄,且支持换能器阵列通道的规模较小。该文设计了一种基于现场可编程逻辑门阵列(FPGA)的256通道的相控阵超声控制系统。实验结果表明,该系统实现频率1~3 MHz可调,输出电压峰-峰值±100 V连续可调,相位延时精度为5 ns,可驱动不同阵元数的相控阵探头,从而为超声治疗技术的研究提供多元化激励实施方案。
-
关键词
256通道
低强度聚焦超声
超声控制系统
相控阵
超声治疗
-
Keywords
256 channels
low intensity focused ultrasound
ultrasound control system
phased array
ultrasound therapy
-
分类号
TN384
[电子电信—物理电子学]
-
-
题名公钥密码安全强度刻画概述
- 4
-
-
作者
林申
陈洁
王陆平
-
机构
华东师范大学软件工程学院上海高可信计算重点实验室
苏州科技大学电子与信息工程学院
江苏省电梯智能安全重点建设实验室
-
出处
《密码学报》
CSCD
2023年第5期879-896,共18页
-
基金
国家重点研发计划(2018YFA0704701)
国家自然科学基金(61972156)
+4 种基金
NSFC-ISF联合科学研究计划(61961146004)
上海市教育委员会科研创新项目(2021-01-07-00-08-E00101)
江苏省高等学校基础科学(自然科学)研究面上项目(22KJB520035)
“江苏省电梯智能安全重点建设实验室”开放课题(JSKLESS202104)
江苏省计算机学会教学类专项(JSCS2022049)。
-
文摘
安全强度是对密码方案安全性的量化指标,代表了攻破某密码方案所需的计算开销.公钥密码方案的安全强度与构建该方案所依赖的困难问题和具体的参数有关.随着后量子密码学的发展,原先单一的安全强度评估标准产生了变化和扩充.因此,系统性总结数论体系下的经典公钥密码和抗量子攻击的后量子公钥密码的安全强度具有重要意义.本文首先介绍了经典公钥密码和后量子公钥密码的安全强度定义.然后给出了一些经典公钥密码方案的安全强度和后量子公钥密码方案的安全强度级别.接着从常见密码方案的现实应用出发,介绍若干在商用安全服务中使用的公钥密码方案及其安全强度分析.最后,给出本文的总结,并根据目前公钥密码安全性研究和应用的不足,对未来的研究和应用提出了展望.
-
关键词
安全强度
经典公钥密码
后量子公钥密码
商用密码
-
Keywords
security strength
classical public key cryptography
post-quantum public key cryptography
commercial cryptography
-
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
-
