TWC: Small: Collaborative: Practical Security Protocols via Advanced Data Structures

TWC：小型：协作：通过高级数据结构实现实用安全协议

• 批准号: 1526631
• 负责人: Michael Goodrich
• 金额: $ 16.66万
• 依托单位: University of California-Irvine
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-09-15 至 2018-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1526631&HistoricalAwards=false
• 关键词: TWC; Small; Collaborative; Practical; Security

Data structures have a prominent modern computational role, due to their wide applicability, such as in database querying, web searching, and social network analysis. This project focuses on the interplay of data structures with security protocols, examining two different paradigms: the security for data structures paradigm (SD) and the data structures for security paradigm (DS). The objectives of this project are, in the SD paradigm, to provide security and privacy both for data elements in data sets and also for the inter-relationships and distributions between such data elements, such as links between nodes in a social network, and, in the DS paradigm, to develop new data structures to improve the efficiency of algorithms for security and/or privacy applications. The project explores methods for achieving these objectives include algorithm design, theoretical analysis, rigorous proofs of security and correctness, and experimental validation of claims of practicality. This research focuses on the security and cybersecurity uses of three advanced data structures: tree structures, invertible Bloom filters and cascading tables. The project advances knowledge on (a) authenticated data structures and verifiable query execution within the SD paradigm, and (b) secure deduplication, searchable encryption, and privacy-preserving memory allocators within the DS paradigm.

数据结构由于其广泛的适用性而在现代计算中发挥着突出的作用，例如在数据库查询、网络搜索和社交网络分析中。该项目重点关注数据结构与安全协议的相互作用，研究两种不同的范式：数据结构安全范式（SD）和数据结构安全范式（DS）。该项目的目标是，在 SD 范式中，为数据集中的数据元素以及这些数据元素之间的相互关系和分布（例如社交网络中节点之间的链接）提供安全和隐私，在 DS 范式中，开发新的数据结构以提高安全和/或隐私应用程序算法的效率。该项目探索实现这些目标的方法，包括算法设计、理论分析、严格的安全性和正确性证明以及实用性主张的实验验证。这项研究重点关注三种高级数据结构的安全和网络安全用途：树结构、可逆布隆过滤器和级联表。该项目推进了以下方面的知识：(a) SD 范式中的经过身份验证的数据结构和可验证的查询执行，以及 (b) DS 范式中的安全重复数据删除、可搜索加密和隐私保护内存分配器。