To search, Click below search items.
All Published Papers Search Service
Title
Formally Verified Secure and Scalable Mobile Governance Framework
Author
Saeed MushailKafeer Al Qarni, Mohammed Al Shehri & Shaik Shakeel Ahamad
Vol. 20 No. 5 pp. 83-87
Keywords
Mobile Government Application (MGA), Scalable, Robust, freshness of the keys, reverse engineering attacks, BAN Logic