Formal Analysis of Language-Based Android Security Using Theorem Proving Approach

Formal Analysis of Language-Based Android Security Using Theorem Proving Approach

Mobile devices are an indispensable part of modern-day lives to support portable computations and context-aware communication. Android applications within a mobile device share data to support application operations and better user experience, which also increases security risks to device's dat...

Full description

Bibliographic Details
Main Authors: Wilayat Khan, Muhammad Kamran, Aakash Ahmad, Farrukh Aslam Khan, Abdelouahid Derhab
Format: Article
Language:English
Published: IEEE 2019-01-01
Series:IEEE Access
Subjects:
Android security
formal verification
language-based security
locally nameless representation
machine-readable proofs
theorem proving
Online Access:https://ieeexplore.ieee.org/document/8626096/

Internet

https://ieeexplore.ieee.org/document/8626096/

Similar Items