A Light-weight Kernel-level Mandatory Access Control Framework for Android

With the rapid development of mobile communication technology and mobile Internet technology, mobile terminals are becoming more and more irreplaceable in people's life and work. In the present power industry, Android-based smart mobile terminals are widely used to carry out various kinds of operations. Compared with traditional desktop computers, smart mobile terminals provide users with convenience and are more vulnerable to attack and control. Considering the security protection of the core layer of smart mobile terminal, this paper designs an Android lightweight kernel layer mandatory access control framework, deeply analyses and discusses the necessity of terminal kernel layer security protection, proposes a verifiable lightweight kernel layer access control model, and formalizes the model. This paper describes and uses FVT method to discuss security policy conflict detection technology. Finally, the availability and shortcomings of the model on three typical smart mobile terminals are verified by experiments.