Abstract: The security protocol, which is a crucial basis in mobile computing,determines the security properties or even the fate of whole system. Therefore, investigated the runtime environment of mobile banking systems, studied the design and analysis methods oF

Key words: Strand space, Security protocol, Formal analysis, Cryptography, Mobile computing