1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)
2. Android Developers: Application Fundamentals. http://developer.android.com/guide/components/fundamentals.html. Accessed Jan 2023
3. Bagheri, H., Kang, E., Malek, S., Jackson, D.: A formal approach for detection of security flaws in the android permission system. Formal Aspects Comput. 30(5), 525–544 (2018). https://doi.org/10.1007/s00165-017-0445-z
4. Bell, D.E., LaPadula, L.: Secure computer systems: mathematical foundations. MTR 2547, The MITRE Corporation (May 1973)
5. Bell, D.E., LaPadula, L.: Secure computer systems: mathematical model. ESD-TR 73-278, The MITRE Corporation (November 1973)