Proverif with Gnome and VNC access
177
ProVerif: Cryptographic protocol verifier in the formal model. Gnome: Graphical User Interface for Unix. VNC: GUI remote access server.
docker run -it -d -p 5901:5901 cheshiregrin/proverif
Connect via VNC port: 5901, password: acoman
In terminal run: proverif or proverif_interactive
Content type
Image
Digest
Size
1 GB
Last updated
over 8 years ago
docker pull cheshiregrin/proverif:0.1