Fig. 1From: Trusted service manager (TSM) based privacy preserving and secure mobile commerce framework with formal verificationAuthentication and Transaction protocol of SPPMCBack to article page