Design and correctness proof of a security protocol for mobile banking
Dalton Li, David Ming Lin, Grace Zhao, Brian Huang · Bell Labs Technical Journal · 2009
A strong security protocol is the cornerstone for the implementation of mobile banking services and is used to determine the security properties of the system. This paper proposes an application layer security protocol for mobile banking services-the mobile banking (MB) protocol-based on requirements from mobile banking systems. Our research provides an in-depth analysis of the design technologies used in the MB protocol, as well as a correctness proof of its security properties based on the strand space model.