计算机科学
加密
方案(数学)
符号
对称密钥算法
理论计算机科学
计算机安全
公钥密码术
数学
算术
数学分析
作者
Javad Ghareh Chamani,Yun Wang,Dimitrios Papadopoulos,Mingyang Zhang,Rasool Jalili
出处
期刊:IEEE Transactions on Dependable and Secure Computing
[Institute of Electrical and Electronics Engineers]
日期:2021-11-13
卷期号:20 (1): 114-130
被引量:15
标识
DOI:10.1109/tdsc.2021.3127546
摘要
We study the problem of multi-user dynamic searchable symmetric encryption (DMUSSE) where a data owner stores its encrypted documents on an untrusted remote server and wishes to selectively allow multiple users to access them by issuing keyword search queries. Specifically, we consider the case where some of the users may be corrupted and colluding with the server to extract additional information about the dataset (beyond what they have access to). We provide the first formal security definition for the dynamic setting as well as forward and backward privacy definitions. We then propose $\mu$ SE , the first provably secure DMUSSE scheme and instantiate it in two versions, one based on oblivious data structures and one based on update queues, with different performance trade-offs. Furthermore, we extend $\mu$ SE to support verifiability of results. To achieve this, users need a secure digest initially computed by the data owner and changed after every update. We efficiently accommodate this, without relying on a trusted third party, by adopting a blockchain-based approach for the digests' dissemination and deploy our schemes over the permissioned Hyperledger Fabric blockchain. We prototype both versions and experimentally evaluate their practical performance, both as stand-alone systems and running on top of Hyperledger Fabric.
科研通智能强力驱动
Strongly Powered by AbleSci AI