Login / Signup

A secure and optimized mobile payment framework with formal verification.

Shaik Shakeel AhamadV. N. SastrySiba K. Udgata
Published in: SECURIT (2012)
Keyphrases
  • formal verification
  • lightweight
  • mobile agents
  • mobile payment
  • bounded model checking