EKV-VBQ:在加密密钥值存储器中确保可验证的布尔查询
Yuxi Li1, Jingjing Chen1, Fucai Zhou2
1School of Computer Science and Engineering, Northeastern University, Shenyang 110819, China.
Sensors (Basel, Switzerland)
|November 9, 2024
概括
本研究介绍了EKV-VBQ,这是一种用于对加密外包关键值数据进行安全和可验证的布尔查询的新方案. 它使用区块链和先进的加密技术来增强数据完整性和隐私.
科学领域:
- 密码学和数据安全
- 分布式系统 分布式系统
- 区块链技术 区块链技术
背景情况:
- 外包的关键价值存储器缺乏强大的隐私保护机制,用于表达式查询和结果验证.
- 现有的解决方案难以平衡加密数据的安全性,效率和可验证性.
研究的目的:
- 提出EKV-VBQ,这是对加密的键值数据进行可验证的布尔查询的方案.
- 在外包数据存储中增强隐私,安全和可验证性.
- 为了实现高效的加密布尔查询,并保证结果的正确性.
主要方法:
- 区块链,同态XOR运算和伪随机函数的集成,用于安全的数据存储.
- 开发一种使用双线地图积累器的轻量级验证协议.
- 根据双线的q-strong Diffie-Hellman假设,针对自适应选择标签攻击 (IND-CLA) 和完整性/不可伪造性的安全分析.
主要成果:
- EKV-VBQ确保了对IND-CLA的安全性,并保证了完整性和不可伪造性.
- 证明了减少服务器端存储开销和高效的证明生成.
- 通过GPU加速实现了用户端计算复杂性的显著降低 (log n) 和高达50%的性能提升.
结论:
- EKV-VBQ提供了一种安全,高效和可验证的解决方案,用于对加密密钥值数据的隐私保护查询.
- 该方案的效率很高,适用于资源有限的环境.
- 为外包数据提供增强的数据完整性和不可遗忘性.
相关概念视频
Norton's Theorem
523
Norton's theorem is a fundamental principle stating that a linear two-terminal circuit can be substituted with an equivalent circuit, which comprises a current source (ⅠN) in parallel with a resistor (RN). Here, ⅠN represents the short-circuit current flowing through the terminals, and RN stands for the input or equivalent resistance at the terminals when all independent sources are deactivated. This implies that the circuit illustrated in Figure (a) can be exchanged with the...
523
Constraints and Statical Determinacy
580
In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...
580
Censoring Survival Data
64
Survival analysis is a statistical method used to analyze time-to-event data, often employed in fields such as medicine, engineering, and social sciences. One of the key challenges in survival analysis is dealing with incomplete data, a phenomenon known as "censoring." Censoring occurs when the event of interest (such as death, relapse, or system failure) has not occurred for some individuals by the end of the study period or is otherwise unobservable, and it might have many different...
64
Second Uniqueness Theorem
979
Consider a region consisting of several individual conductors with a definite charge density in the region between these conductors. The second uniqueness theorem states that if the total charge on each conductor and the charge density in the in-between region are known, then the electric field can be uniquely determined.
In contrast, consider that the electric field is non-unique and apply Gauss's law in divergence form in the region between the conductors and the integral form to the...
In contrast, consider that the electric field is non-unique and apply Gauss's law in divergence form in the region between the conductors and the integral form to the...
979
Thevinin's Theorem
513
Thévenin's theorem plays a pivotal role in electrical circuit analysis, offering a solution to the challenges posed by variable loads within a circuit. In practical applications, it is common to encounter circuits where certain elements remain fixed while others fluctuate, often referred to as the "load." A typical household electrical outlet serves as a prime example of a variable load, as it can be connected to a variety of appliances, each with its own unique electrical...
513
Theorems of Pappus and Guldinus: Problem Solving
707
Pappus and Guldinus's theorems are powerful mathematical principles that are used for finding the surface area and volume of composite shapes. For example, consider a cylindrical storage tank with a conical top. Finding the surface area or volume can be challenging for such complex shapes. These theorems are particularly useful in calculating the volume and surface area of such systems. Here, the cylindrical storage tank with a conical top can be broken down into two simple shapes: a...
707


