Defect in Protocol Analysis with BAN Logic on Man-in-the-middle Attacks

• BAN逻辑在一类中间入侵攻击协议分析中的缺陷