A secure mobile wallet framework with formal verification

SS Ahamad, VN Sastry, SK Udgata - International Journal of …, 2012 - igi-global.com
This paper proposes a Secure Mobile Wallet Framework (SMWF) using WPKI (Wireless
Public Key Infrastructure) and UICC (Universal Integrated Circuit Card) by defining (a) a …

A Secure Mobile Wallet Framework with Formal Verification

SS Ahamad, VN Sastry, SK Udgata - International Journal of …, 2012 - ideas.repec.org
This paper proposes a Secure Mobile Wallet Framework (SMWF) using WPKI (Wireless
Public Key Infrastructure) and UICC (Universal Integrated Circuit Card) by defining (a) a …

A Secure Mobile Wallet Framework with Formal Verification

SS Ahamad, VN Sastry, SK Udgata - International Journal of Advanced …, 2012 - dl.acm.org
This paper proposes a Secure Mobile Wallet Framework (SMWF) using WPKI (Wireless
Public Key Infrastructure) and UICC (Universal Integrated Circuit Card) by defining (a) a …

A Secure Mobile Wallet Framework with Formal Verification

SS Ahamad, VN Sastry… - International Journal of …, 2012 - econpapers.repec.org
This paper proposes a Secure Mobile Wallet Framework (SMWF) using WPKI (Wireless
Public Key Infrastructure) and UICC (Universal Integrated Circuit Card) by defining (a) a …