A separated domain-based kernel model for trusted computing

DOI10.1007/BF02831789MaRDI QIDQ3443169zbMATH OpenOpenAlexFDO

Authors Yanxiang Fang, Chang-Xiang Shen, Jingdong Xu, Gongyi Wu

Publication date 1 June 2007

Published in Wuhan University Journal of Natural Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02831789

zbMATH Keywords

noninterference teoryseparation kerneltrusted computing

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Protecting terminals by security domain mechanism based on trusted computing
• Study and application of trusted computing technology
• The mechanism about key and credential on trusted computing platform and the application study
• Modeling trusted computing
• Research on cryptology mechanism of trusted computing platform module

Cited in

(4)

• Coded circuit for trusted computing: towards dynamic integrity measurement
• Digital forensics of trusted computing environment
• Protecting terminals by security domain mechanism based on trusted computing
• scientific article; zbMATH DE number 1947522 (Why is no real title available?)

This page was built for publication: A separated domain-based kernel model for trusted computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3443169)