BAN logic analysis of MAMWP protocol
Guodong Wang · Yunnan Daxue xuebao. Shehui kexue ban · 2005
Formal methods can be useful to detect errors and prove security in cryptographic protocols.BAN-like logic has been the most widely used formal method by far.It is discussed the MAMWP protocol and BAN logic,and discribled a process of analysis of MAMWP protocol using BAN logic.