A Logic of Authentication Michael Burrows, Martin Abadi, Roger Needham BAN Logic Presented by : Wenjin Hu Using Logic to analyze authentication protocols describing the beliefs…