A Secure Mobile Wallet Framework with Formal Verification.

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

Published in: Int. J. Adv. Pervasive Ubiquitous Comput. (2012)

Keyphrases

formal verification
mobile devices
probabilistic model
main contribution
model checking
open source
mobile phone
lightweight
autonomous mobile