To improve the BAN (Burrows, Abadi & Needham)logic, an analysis and design logic for authentication security was proposed based on the BSW (Buttyan, Staamann & Wilhelm) logic.

• 针对BAN逻辑的局限性；在BSW逻辑的基础上；提出了一种针对认证安全性的分析与设计逻辑.