Formal Analysis of Security Protocols Dr. Changyu Dong [email protected] Security Protocols Are protocols concerning with security properties, e.g. integrity and confidentiality.…