Samir Talegaon, Ram Krishnan. A Formal Specification of Access Control in Android. In Sanjay K. Sahay, Nihita Goel, Vishwas Patil, Murtuza Jadliwala, editors, Secure Knowledge Management In Artificial Intelligence Era - 8th International Conference, SKM 2019, Goa, India, December 21-22, 2019, Proceedings. Volume 1186 of Communications in Computer and Information Science, pages 101-125, Springer, 2019. [doi]
Abstract is missing.