A secure and optimized mobile payment framework with formal verification.

Shaik Shakeel Ahamad V. N. Sastry Siba K. Udgata

Published in: SECURIT (2012)

Keyphrases

mobile agents

mobile payment

bounded model checking