Login / Signup

A Secure and Optimized Proximity Mobile Payment Framework with Formal Verification.

Shaik Shakeel AhamadV. N. SastrySiba K. Udgata
Published in: Int. J. E Serv. Mob. Appl. (2014)
Keyphrases
  • formal verification
  • mobile payment
  • case study
  • theoretical framework
  • conceptual framework
  • model checker
  • data streams
  • lightweight
  • model checking