云计算
计算机科学
加密
可验证秘密共享
服务器
钥匙(锁)
一致性(知识库)
公钥密码术
密文
计算机安全
方案(数学)
客户端加密
基于属性的加密
分布式计算
理论计算机科学
动态加密
操作系统
程序设计语言
数学
人工智能
数学分析
集合(抽象数据类型)
作者
Zhen Zhao,Willy Susilo,Baocang Wang,Kai Zeng
标识
DOI:10.1109/tcc.2023.3287862
摘要
Public-key encryption with equality test (PKEET) provides cloud servers with an effective way to check the equality of outsourced encrypted data without decryption. This enables PKEET to attract much attention and be widely researched in cloud computing. However, we claim that the existing PKEET schemes suffer from an inherited problem, called message-consistency unverifiability of testers (MCUT). Applying the MCUT problem, outsourcers can fool cloud servers into outputting incorrect testing results of encrypted data, which negates the practicability of PKEET in cloud computing. We investigate the PKEET literature and find the main reason for the MCUT problem is the independence between the messages inserted in the decryption and testing modules in their ciphertexts. To bridge the technical gap between PKEET and its practical applications, we present a new notion, called PKE with tester verifiable equality test (PKE-TVET), which solves the MCUT problem by allowing testers to verify the message consistency in two modules. We then instantiate the PKE-TVET and give a specific construction in the standard model. In our PKE-TVET scheme, the testing module is integrated into the decryption module so that there is only one message inserted in the ciphertext for both decryption and testing. This special setting lets our scheme directly get rid of the MCUT problem. For better applications in actual scenarios, we further extend the scheme to support authorization and tester designation. Finally, we analyze the tradeoff of parameter sizes and computation costs for the security against MCUT attacks in our PKE-TVET scheme.
科研通智能强力驱动
Strongly Powered by AbleSci AI