Tamarin-Prover Installation on Linux / Ubuntu 19.04

Tamarin-Prover

Tamarin-Prover is a research based security purpose software which is developed by firefox.
This is based on a TLS Security Protocol.
Before Installation you must read its manual https://tamarin-prover.github.io/manual/tex/tamarin-manual.pdf for installation.
TamarinProver all information availible on this website https://tamarin-prover.github.io/

Steps to install Tamarin-Prover on your Linux / Ubuntu 19.04:

 Step # 01:

First You install Linux Based Operating System like Ubuntu(must be latest version 19.04) , Kali Linux or Others.

 Step # 02

Than open terminal and write this command

sh -c "$(curl -fsSL https://raw.githubusercontent.com/Linuxbrew/install/master/install.sh)"

test -d ~/.linuxbrew && eval $(~/.linuxbrew/bin/brew shellenv)
test -d /home/linuxbrew/.linuxbrew && eval $(/home/linuxbrew/.linuxbrew/bin/brew shellenv)
test -r ~/.bash_profile && echo "eval \$($(brew --prefix)/bin/brew shellenv)" >>~/.bash_profile
echo "eval \$($(brew --prefix)/bin/brew shellenv)" >>~/.profile

brew install hello

If you're using an older distribution of Linux, installing your first package will also install a recent version of glibc and gcc. Use brew doctor to troubleshoot common issues.



Debian or Ubuntu


sudo apt-get install build-essential curl file git


Alternative Installation


Extract or git clone Linuxbrew wherever you want. Use /home/linuxbrew/.linuxbrew if possible.


git clone https://github.com/Homebrew/brew ~/.linuxbrew/Homebrew
mkdir ~/.linuxbrew/bin
ln -s ../Homebrew/bin/brew ~/.linuxbrew/bin
eval $(~/.linuxbrew/bin/brew shellenv)
Step # 03
Installation of Tamarin-Prover
Paste these commands on your terminal
brew install tamarin-prover/tap/tamarin-prover
brew install tamarin-prover/tap/maude graphviz haskell-stack
git clone https://github.com/tamarin-prover/tamarin-prover.git

ssh -L 3001:localhost:3001 SERVERNAME

Step # 04

You must intall manually text editors

VIM
Sublime Text Editor 3
Notepad++
Emacs



Atlast when you done these steps you must write this command on your Laptop / PC terminal

tamarin-prover interactive .
The above highlighted command you must write on your Terminal