BAN (Burrows, Abadi and Needham) like logic can aid the design, analysis, and verification of cryptographic protocols used over open networks and distributed systems.

• 类逻辑可以辅助设计、分析和验证网络和分布式系统中的密码协议。