Verifiable Searchable Symmetric Encryption over Additive Homomorphism

计算机科学 加密 正确性 可扩展性 可验证秘密共享 理论计算机科学 对称密钥算法 信息泄露 同态 安全性令牌 密码系统 计算机网络 集合(抽象数据类型) 算法 公钥密码术 数据库 数学 程序设计语言 离散数学
作者
Lu Ji,J. R. Li,Yicheng Zhang,Lu Yang
出处
期刊:IEEE Transactions on Information Forensics and Security [Institute of Electrical and Electronics Engineers]
卷期号:: 1-1
标识
DOI:10.1109/tifs.2025.3526062
摘要

Searchable symmetric encryption (SSE) allows the client to search encrypted documents on an untrusted server without revealing the document content and queried keywords. To improve search efficiency and enrich expressiveness, most SSE schemes leak some information that could be exploited for attacks, characterized by leakage patterns. The traditional leakage patterns encompass the search pattern, the access pattern and the response length pattern. Recent research has demonstrated that these three patterns could be exploited to launch attacks, resulting in a high probability of compromising the confidentiality of encrypted documents and queried keywords. Moreover, while there exist SSE schemes that hide multiple leakage patterns, most of them do not resist the malicious server, which may carry out incorrect search operations. In this paper, we propose a leakage-suppressed verifiable SSE (VSSE) scheme that not only hides the three patterns but also allows the client to verify the server's response. We utilize the privacy set intersection based on polynomial coding and additive symmetric homomorphism encryption to construct a VSSE scheme that supports a conjunctive query. Specifically, we design an efficient random token generation algorithm to protect the search pattern and a verification algorithm that does not require server-generated proofs. Formal security analysis shows that our scheme achieves the desired correctness, security and verifiability. Lastly, we simulate the proposed scheme and compare it with the recent leakage suppression schemes in multiple aspects. The comparison results show that our scheme achieves a good balance in expressiveness, efficiency and security.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
可爱的函函应助sl采纳,获得30
刚刚
CatC完成签到,获得积分10
刚刚
LIKO完成签到,获得积分10
刚刚
刚刚
刚刚
David发布了新的文献求助10
1秒前
1秒前
clock完成签到 ,获得积分10
1秒前
风中小懒虫完成签到,获得积分10
2秒前
cindy完成签到 ,获得积分10
3秒前
Tysonqu完成签到,获得积分10
3秒前
科研通AI2S应助Promise采纳,获得10
4秒前
5秒前
淡淡阁完成签到 ,获得积分10
5秒前
念念发布了新的文献求助10
5秒前
漂亮的秋天完成签到 ,获得积分10
7秒前
David完成签到,获得积分10
7秒前
Jason完成签到,获得积分10
7秒前
11秒前
12秒前
12秒前
YY完成签到,获得积分10
13秒前
调皮的凝旋完成签到,获得积分10
14秒前
14秒前
念念完成签到,获得积分20
15秒前
崔悦欣完成签到,获得积分10
17秒前
xiaosui完成签到 ,获得积分10
17秒前
夏初水莲洁完成签到,获得积分10
18秒前
Jasper应助小王采纳,获得10
18秒前
ZXH完成签到,获得积分10
19秒前
19秒前
Promise发布了新的文献求助10
19秒前
个性德天完成签到,获得积分10
20秒前
清颜完成签到 ,获得积分10
21秒前
大侦探皮卡丘完成签到,获得积分10
22秒前
pan完成签到,获得积分10
23秒前
23秒前
白石溪完成签到,获得积分10
25秒前
26秒前
26秒前
高分求助中
【提示信息,请勿应助】关于scihub 10000
Les Mantodea de Guyane: Insecta, Polyneoptera [The Mantids of French Guiana] 3000
徐淮辽南地区新元古代叠层石及生物地层 3000
The Mother of All Tableaux: Order, Equivalence, and Geometry in the Large-scale Structure of Optimality Theory 3000
Global Eyelash Assessment scale (GEA) 1000
Picture Books with Same-sex Parented Families: Unintentional Censorship 550
Research on Disturbance Rejection Control Algorithm for Aerial Operation Robots 500
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 4038388
求助须知:如何正确求助?哪些是违规求助? 3576106
关于积分的说明 11374447
捐赠科研通 3305798
什么是DOI,文献DOI怎么找? 1819322
邀请新用户注册赠送积分活动 892672
科研通“疑难数据库(出版商)”最低求助积分说明 815029