Verifiable DSSE with Forward Privacy based on Attribute Database

Dynamic searchable symmetric encryption (DSSE) enables users to retrieve and update data in encrypted databases hosted on cloud servers based on keywords while ensuring privacy protection. Forward privacy, which is a key security feature that current DSSE schemes must possess. Nevertheless, most existing DSSE forward privacy schemes are not suitable for attribute databases, and their construction is based on the assumption that the cloud server is “honest-but-curious”, which means lacking the ability to verify results. To address this issue, this article propose a verifiable DSSE scheme specifically designed for attribute databases. Specifically, this article integrates attribute elements into the construction of secure indexes and introduce a state chain structure to achieve fine-grained search while ensuring forward privacy. Furthermore, based on symmetric cryptographic primitives, this article designs a new cumulative verification tag to ensure that users can obtain correct and complete search results. Experimental evaluation and security analysis show that this scheme demonstrates excellent performance in search, update, and verification efficiency while its security is fully validated.