Intransitive Noninterference Trusted Model Supporting Process Codes Modification
Xu Fu · Jisuanji gongcheng · 2013
In noninterfernce theorem-based trusted model, processes are not allowed to be changed when the system is running, which restricts the application of trusted computing platform. To solve this problem, intransitive noninterfernce theorem is extended to support security domain modification. On this basis, a new trusted model based on intransitive noninterfernce theorem and supporting process codes modification is proposed. On the new theorem framework, the conditions of processes running trust are given and the theorem of processes running trust is proved. Analysis result shows that, compared with present trusted models, this model can both guarantee process running trusted and support process codes modification, which enhances the practicability of trusted computing platform.