Trusted service manager (TSM) based privacy preserving and secure mobile commerce framework with formal verification (Complex Adaptive Systems Modeling, 2019)