Cryptographic protocol analysis for students and engineers. - View it on GitHub