Login / Signup

Secure mobile payment framework based on UICC with formal verification.

Shaik Shakeel AhamadV. N. SastrySiba K. Udgata
Published in: Int. J. Comput. Sci. Eng. (2014)
Keyphrases
  • formal verification
  • theoretical framework
  • mobile payment
  • learning activities
  • model checking
  • conceptual model
  • model checker