chandanjpanjwani/deepsecui repository overview

⁠DEEPSEC

⁠DEciding Equivalence Properties in SECurity protocols

Github Repository⁠
Manual & Documentation⁠

Automated verification has become an essential part in the security evaluation of cryptographic protocols. Recently, there has been a considerable effort to lift the theory and tool support that existed for reachability properties to the more complex case of equivalence properties.

DeepSec is a verification tool which allows verification of trace equivalence and equivalence by session for a large variety of user defined cryptographic primitives, those that can be represented by a subterm convergent destructor rewrite system.

⁠ Steps To Run this Docker Image:

1. Install Docker and Pull the latest deepsecui docker image

2. For MacOS: Setup XQuartz:run xhost +localhost command on XQuartz terminal and XQuartz > Settings > Security > Allow connections and Authenticate connections
   For Windows : Use VcXsrv⁠
   Install VcXsrv, Allow Access through Firewall and from the launch config check the box: Disable access control
   For Linux: Use built-in X Window system⁠

3. In another terminal run the commmand
   For MacOS: docker run -e DISPLAY=host.docker.internal:0 -it -v /Users/your_user_name/Library/Application\ Support/DeepSec/result_files/:/root/.deepsec/result_files/ deepsecui:latest
   this -v option creates a bind mount between local machine and docker container, to sync the directories between each other
   For Windows: docker run -e DISPLAY=host.docker.internal:0 -it -v result_files:/root/.deepsec/result_files/ deepsecui:latest
   this -v option creates an anonymous named volume on the host machine linked to a path in the container
   

4. Inside the interactive terminal run npm run electron:serve
   To sync the result files between the docker container and your local files, In the UI GoTo Settings>Scan for new batch

5. To exit, go to File > Exit and Run exit in the Interactive terminal

6. To restart the container with your saved result_files, Run

   1. docker ps -a to get all the docker containers
   2. Copy container id or container name and run
      docker start -ai container_name