首页    期刊浏览 2024年11月23日 星期六
登录注册

文章基本信息

  • 标题:Formally Verified Secure and Scalable Mobile Governance Framework
  • 本地全文:下载
  • 作者:Saeed MushailKafeer Al Qarni ; Mohammed Al Shehri ; Shaik Shakeel Ahamad
  • 期刊名称:International Journal of Computer Science and Network Security
  • 印刷版ISSN:1738-7906
  • 出版年度:2020
  • 卷号:20
  • 期号:5
  • 页码:83-87
  • 出版社:International Journal of Computer Science and Network Security
  • 摘要:The number of smartphone users and their usage is in high rise [1]. So the future of electronic governance lies with smartphones for providing services to the citizens. Current literature in the realm of mobile governance is not robust, scalable and secure. Intruders target three areas for vital information they are Mobile Government Application (MGA), during the transit of messages, and Government Server. This paper overcomes these flaws and proposes a novel framework for secure mobile government. Our proposed protocol ensures all the security properties. The proposed protocol ensures security and freshness of the keys, the security of data at rest, and during transit are ensured and finally overcomes reverse-engineering attacks, Proposed protocol withstands all the known attacks as it is formally verified using BAN Logic.
  • 关键词:Mobile Government Application (MGA); Scalable; Robust; freshness of the keys; reverse engineering attacks; BAN Logic
国家哲学社会科学文献中心版权所有