Installation

Requirements

• MySQL server. Link to v.5.7.19 Community Edition: dev.mysql.com/downloads/mysql/
  • Requires Visual C++ Redistributable Packages for Visual Studio 2013.
  • SQL configuration file.
• (OPT) MySQL Workbench, useful for administering and debugging the entities handled by the tool. Link to v6.3: dev.mysql.com/downloads/workbench/
  • In Microsoft Windows it requires:
    • Microsoft .NET Framework 4.5.
    • Visual C++ Redistributable for Visual Studio 2015.
• Java 8.
• Yices 1 - Bin folder (e.g. C:\yices-1.0.40\bin) must be put under PATH environment variable .
• In Microsoft Windows, we suggest to install Cygwin and configure the PATH environment variable within Cygwin console.
• SecurePG code or runnable JAR.

MySQL Configuration

1. Import the SQL configuration file. If using MySQL Workbench, connect to the Localhost instance; then click: Server -> Data Import -> Self-Contained file -> point to SecurePGDB.sql
2. Change the content of the DBdata.java file (included IP/PORT if different) from the SecurePG code, or create a “SPGU” user and grant him all privileges to the secure_pg_db database:
   1. Connect to the database by executing from the command line: mysql --host localhost --port 3306 --user root secure_pg_db. Default location of the executable is: "C:\Program Files (x86)\MySQL\MySQL Server 5.7\bin\mysql.exe". If necessary, modify the address/port or the username and provide the password with the parameter -p before the string "secure_pg_db". By default MySQL root user has no password.
   2. Issue the command: CREATE USER 'SPGU'@'localhost' IDENTIFIED BY 'PWD123'; - Should reply: Query OK, 0 rows affected (0.00 sec)
   3. Issue the command: GRANT ALL PRIVILEGES ON secure_pg_db.* TO 'SPGU'@'localhost' WITH GRANT OPTION; - Should reply: Query OK, 0 rows affected (0.00 sec)
   4. Test the user by issuing quit, then mysql --host localhost --port 3306 --user SPGU -p secure_pg_db and finally show tables;

Alternatively, use MySQL Workbench

1. Open MySQL Workbench and click: Server -> Users and Privileges -> Add Account
   1. Login tab -> Use “SPGU” as name and “PWD123” as password; also limit to localhost
   2. Schema Privilege tab-> Select secure_pg_db as entry and select all privileges
2. click Apply

Modify SecurePG code

The following steps assist the developer in downloading the SecurePG code from GitLab (link here) using GIT (Windows version here) and importing it as a Gradle Project in Eclipse.

1. Install GIT
2. Configure GIT:
   1. git config --global user.name 'Name Surname'
   2. git config --global user.email mail@mail.com
   3. Check the informations with: git config --list
   4. Create and cd into the directory to use as the Git repository (e.g C:\GIT)
   5. Initialize GIT with: git init
   6. Configure the command "GIT pull” to connect to the SecurePG project: git remote set-url origin git@gitlab.fbk.eu:st/all-projects/SecurePG.git https://gitlab.fbk.eu/st/all-projects/SecurePG.git
3. Pull the code from GitLab with git clone git@gitlab.fbk.eu:st/SecurePG.git from the Git directory; provide the password set within FBK GitLab.
4. Install a Java IDE (eg. Eclipse)
5. Check if the IDE integrates the support for GIT
   1. For Eclipse follow this tutorial
   2. Check/Set the GIT folder in Eclipse from Window -> Preferences -> Git
   3. Configuring the toolbar and the menu for the Git usage by setting Git and Git Navigation Actions in Action Set Availability (Window -> Perspective -> Customize perspective) and, if needed, the Git toolbar from "Tool Bar Visibility" tab
6. Import the SecurePG folder as a Gradle Project in the IDE
   1. For Eclipse, click on the SecurePG folder from the Working Tree (Git Repositories View)
   2. Click Import Project and select New Project wizard
   3. Select Import Existing Eclipse Project and provide SecurePG as name
   4. Run src/pkgGUI/GUI.java to assess if working. Only if necessary:
      1. Right click on build.gradle and then Refresh Gradle Project
      2. Click build from the Gradle Task Perspective or Right click on the file build.gradle, then Run As -> Run Configurations. Left click on Gradle Project and Add new configuration (button Upper-left corner) and set:
         1. Gradle Tasks: build
         2. Working Directory: ${workspace_loc:/SecurePG}
         3. Click Apply and Run