Analysis of Key Agreement Protocols Brita Vesterås Supervisor: Chik How Tan Motivation & purpose Motivation: New protocols are designed rapidly, and they have not been…