Abstract: 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.