On the Security of Public Key Protocols | Open Awesome