计算机科学
加密
信息泄露
密码学
密码原语
对称密钥算法
私人信息检索
方案(数学)
架空(工程)
实施
理论计算机科学
匹配(统计)
计算机安全
密码协议
公钥密码术
数学
操作系统
程序设计语言
数学分析
统计
作者
Sanjit Chatterjee,Shravan Kumar Parshuram Puria,Akash Shah
摘要
Dynamic Searchable Symmetric Encryption ([Formula: see text]), apart from providing support for search operation, allows a client to perform update operations on outsourced database efficiently. Two security properties, viz., forward privacy and backward privacy are desirable from a [Formula: see text] scheme. The former captures that the newly updated entries cannot be related to previous search queries and the latter ensures that search queries should not leak matching entries after they have been deleted. These security properties are formalized in terms of the information leakage that can be incurred by the respective constructions. Existing backward private constructions either have a non-optimal communication overhead or they make use of heavy cryptographic primitives. Our main contribution consists of two efficient backward private schemes [Formula: see text] and [Formula: see text] that aim to achieve practical efficiency by using light weight symmetric cryptographic components only. In the process, we also revisit the existing definitions of information leakage for backward privacy [Bost et al. (In ACM CCS ( 2017 ) 1465–1482 ACM Press)] and propose a relaxed formulation. [Formula: see text] is the first construction to achieve backward privacy in the general setting with optimal communication complexity. Our second construction, [Formula: see text], is the first single round-trip scheme achieving backward privacy in a restricted setting with optimal communication complexity using light weight symmetric cryptographic primitives. The prototype implementations of our schemes depict the practicability of the proposed constructions and indicate that the cost of achieving backward privacy over forward privacy is substantially small. The performance results also show that the proposed constructions outperform the currently most efficient scheme achieving backward privacy.
科研通智能强力驱动
Strongly Powered by AbleSci AI