1. Secure Trusted Operating System Based on Microkernel Architecture
- Author
-
Kun Xiao, Chong Fei Shen, Xiao Ke Tang, Li Xin Yang, Hui Wang, and De Jian Li
- Subjects
Scheme (programming language) ,business.industry ,Computer science ,media_common.quotation_subject ,computer.software_genre ,Monolithic kernel ,Discretionary access control ,Software ,Operating system ,Isolation (database systems) ,Microkernel ,business ,Function (engineering) ,computer ,Trusted operating system ,media_common ,computer.programming_language - Abstract
Currently, trusted execution environment technologies are widely used to enhance the security of connected devices such as mobile phones and tablets. The trusted operating system is the core component of a trusted execution environment solution, but the trusted operating system itself may face security challenges. The main reason is that the trusted operating system needs to provide different services for different application scenarios, which makes its function more complicated and further increases the code size. In most trusted execution environment solutions, the trusted operating system is based on Monolithic kernel architecture. This will inevitably face security issues such as software defects and lack of isolation between components. In this paper, we propose a scheme for design secure trusted operating system based on a microkernel architecture. In our scheme, we take the modified take-grant model as the system security model and design a discretionary access control mechanism based on the capability system. We implemented our secure trusted operating system on the i.MX6Q platform. The test results show that it works properly and meets the requirements of the GP TEE specifications.
- Published
- 2021
- Full Text
- View/download PDF