计算机研究与发展2023,Vol.60Issue(12) :2709-2724.DOI:10.7544/issn1000-1239.202220478

可证明安全的基于SGX的公钥认证可搜索加密方案

Provably Secure Public Key Authenticated Encryption with Keyword Search Based on SGX

刘永志 秦桂云 刘蓬涛 胡程瑜 郭山清
计算机研究与发展2023,Vol.60Issue(12) :2709-2724.DOI:10.7544/issn1000-1239.202220478

可证明安全的基于SGX的公钥认证可搜索加密方案

Provably Secure Public Key Authenticated Encryption with Keyword Search Based on SGX

刘永志 1秦桂云 1刘蓬涛 2胡程瑜 3郭山清3
扫码查看

作者信息

  • 1. 山东大学网络空间安全学院 山东青岛 266237
  • 2. 山东政法学院网络空间安全学院 济南 250014
  • 3. 山东大学网络空间安全学院 山东青岛 266237;密码技术与信息安全教育部重点实验室(山东大学) 济南 250100;泉城实验室 济南 250103
  • 折叠

摘要

公钥可搜索加密(public key encryption with keyword search,PEKS)技术使用户能够搜索存储在不可信云服务器上的加密数据,这对于数据隐私保护具有重要意义,也因此受到了广泛关注.公钥认证可搜索加密要求数据发送方使用接收方的公钥对关键词进行加密,同时还使用其自身私钥对关键词进行认证,使得敌手无法构造关键词密文,从而抵抗公钥可搜索加密面临的关键词猜测攻击(keyword guessing attack,KGA).提出了一个可证明安全的基于软件防护扩展(software guard extensions,SGX)的公钥认证可搜索加密(public key authenticated encryption with keyword search,PAEKS)方案,通过在云服务器上建立一个可信区并运行一个执行关键词匹配的飞地程序来完成对密文数据的搜索.正式的安全性证明显示方案具备密文不可区分性和陷门不可区分性,即可抵抗关键词猜测攻击.进一步地,给出搜索模式隐私性的定义,确保敌手无法仅通过陷门来判断 2次搜索是否针对同一关键词,从而避免向外部敌手泄露部分隐私.此外,所提方案具有易扩展的优势,很容易被扩展为支持复杂搜索功能或者具备其他增强隐私保护性质的方案,如前向安全.作为示例,给出了多关键词搜索、搜索能力分享这 2个功能扩展方案以及具备前向安全性的扩展方案的简单介绍.真实环境中的实验表明,与其他对比方案相比,所提方案在效率上同样具有出色的表现.

关键词

公钥认证可搜索加密(PAEKS)/软件防护扩展/增强安全性/可证明安全/关键词猜测攻击/可扩展性

Key words

public key authenticated encryption with keyword search(PAEKS)/software guard extensions(SGX)/enhanced security/provable security/keyword guessing attack(KGA)/extensibility

引用本文复制引用

基金项目

山东省自然科学基金(ZR2022LZH013)

山东省自然科学基金(ZR2020LZH002)

山东省自然科学基金(ZR2020MF055)

山东省自然科学基金(ZR2021LZH007)

中国科学院网络测评技术重点实验室开放课题(KFKT2019-002)

出版年

2023
计算机研究与发展
中国科学院计算技术研究所 中国计算机学会

计算机研究与发展

CSTPCDCSCD北大核心
影响因子:2.649
ISSN:1000-1239
参考文献量4
段落导航相关论文