,Authentication Protocol,authentication protocols,authenticated protocols,authenticated protocol,authenticating protocols,authentic protocol

The authentication protocol is the most fundamental and critical issue in network security and safety system and BAN logic is the most important tool to have a formalization analysis of authentication protocols...

Jinghua Wen, et al. The study on the application of BAN logic in formal analysis of authen...