A Formal Specification of Access Control in Android with URI Permissions

Samir Talegaon, Ram Krishnan. A Formal Specification of Access Control in Android with URI Permissions. Information Systems Frontiers, 23(4):849-866, 2021. [doi]

Abstract

Abstract is missing.