Provable and Practical Security for Database Outsourcing
Matthias Christoph Huber · Repository KITopen (Karlsruhe Institute of Technology) · 2016
In this work, we provide formal notions for different privacy goals of data outsourcing and establish their relations. Furthermore, as a main contribution, we provide a meaningful security notion for database outsourcing and a practical scheme fulfilling this notion as well as implementations that demonstrate the viability. We prove the security of our scheme in a formal model and provide extensions an optimisations for performance as well as for security.