Research of trusted expand model of TCB

TCB is the collectivity of the computer's protector,which influences the security of system.With the development of the information technology,the boundary of TCB has been expanded.The validity of the TCB expanding becomes more and more important for information security.At present most of the researches of TCB are focused on the technology of trusted chain,and there is almost no theory research.This paper puts forward Trusted Expand Model of TCB(TEMT) based on the idea of trusted computing,in which TCB is divided into several TCB subsets.The trusted support relation between TCB subsets is formally described,and an important theorem is proved.At last an implement framework is proposed.