MUSES: Efficient Multi-User Searchable Encrypted Database

This is our full implementation for our MUSES paper.

WARNING: This is an academic proof-of-concept prototype and has not received careful code review. This implementation is NOT ready for production use.

Required Libraries

1. NTL

2. ZeroMQ

3. Secp256k1

4. EMP-Toolkit

You can run the script file auto_setup.sh to automatically install the required libraries and build source code.

sudo ./auto_setup.sh

Build & Compile

Go to the folder Server and folder Client then execute:

make clean
make

This is going to create executable files Server in Server folder and Client in Client folder.

Testing

1. Launch server:

cd Server
./Server <Server_ID> <Server_Port> [-b <Bloom_Filter_Size>] [-d <Number_of_Documents>] [-w <Number_of_Writers>]

For example, we launch server 1:

./Server 1 12345

Then launch server 2:

./Server 2 12345

The default parameters: Bloom_Filter_Size is 2000, Number_of_Documents is 1024, and Number_of_Writers is 5.

2. Launch client:

cd Client
./Client [-b <Bloom_Filter_Size>] [-d <Number_of_Documents>] [-w <Number_of_Writers>]

For example:

./Client

NOTE: The configuration (including Bloom_Filter_Size, Number_of_Documents and Number_of_Writers) need to be consistent when starting servers and client. For instance (Bloom_Filter_Size = 2000, Number_of_Documents = 32768, Number_of_Writers = 25):

./Server 1 12345 -b 2000 -d 32768 -w 25 
./Server 2 12345 -b 2000 -d 32768 -w 25 
./Client -b 2000 -d 32768 -w 25         

You can start server/client applications in any order.

Configuring Number of Servers:

Change the constant defined at line 12 const int nP = 2; in file config.hpp and recompile both Server and Client.

Configuring Number of Threads:

Change the constant defined at line 10 const int MAX_THREADS = 8; in file config.hpp and recompile both Server and Client.

Configuring IP Addresses:

To run experiments with EC2 instances, we need to change the IP loopback 127.0.0.1 to the IP addresses of EC2 servers as follows.

1. Server: modify servers' IP address from line 13 to line 18 in file emp_lib/emp_agmpc/cmpc_config.h and recompile Server.

const static char *IP[] = {""
                          , "127.0.0.1"
                          , "127.0.0.1"
                          , "127.0.0.1"
                          , "127.0.0.1"
                          , "127.0.0.1"
                          , "127.0.0.1"}; 

2. Client: modify servers' IP addresses at line 719 string ip_addresses[] = {"127.0.0.1", "127.0.0.1", "127.0.0.1", "127.0.0.1", "127.0.0.1", "127.0.0.1"}; in file Client/Client.cpp and recompile Client.

Configuring Number of Test Execution:

By default, keyword search, document update and permission revocation operations are executed one time. We can increase the number of operations as follows:

1. Server: file Server/Server.cpp

Line 27 int n_secret_key_update_times = 1; is to change the number of permission revocations.
Line 78 int n_document_update_times = 1; is to change the number of document updates.
Line 169 int n_keyword_search_times = 1; is to change the number of keyword search.

2. Client: file Client/Client.cpp

Line 71 int n_secret_key_update_times = 1; is to change the number of permission revocations.
Line 249 int n_document_update_times = 1; is to change the number of document updates.
Line 399 int n_keyword_search_times = 1; is to change the number of keyword search.

Then recompile both Server and Client.

Note: The configuration need to be kept consistent between Client and Server.