Design of secure operating systems with high security levels

DOI10.1007/S11432-007-0028-3MaRDI QIDQ2385412zbMATH OpenOpenAlexFDO

Authors Sihan Qing, Chang-Xiang Shen

Publication date 12 October 2007

Published in Science in China. Series F (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11432-007-0028-3

zbMATH Keywords

architecturecovert channel analysissecure operating systems with high security levelssecurity model

Mathematics Subject Classification ID

Network protocols (68M12) Data encryption (aspects in computer science) (68P25)

Recommendations

• scientific article; zbMATH DE number 2114146
• scientific article; zbMATH DE number 2166693
• scientific article; zbMATH DE number 1746676
• Approaches to development of discretionary DP-model of the modern secure operating systems
• Analysis of security models for computer systems

Cited in

(6)

• Automated enforcement for relaxed information release with reference points
• Design of an audit subsystem for the security of an operating system
• scientific article; zbMATH DE number 1746676 (Why is no real title available?)
• scientific article; zbMATH DE number 2166693 (Why is no real title available?)
• scientific article; zbMATH DE number 2114146 (Why is no real title available?)
• Integrated criteria for covert channel auditing

This page was built for publication: Design of secure operating systems with high security levels

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