Covert Channel Analysis; Formal Verification; Multi-Level Security; Trusted Graphics; Virtualization;
机译:信息测量与控制系统中应急保护子系统的计量保障
机译:可用性保证子系统职位的可用性评估/适航子系统位置准备状态评估
机译:将信任嵌入嵌入式系统中高保证系统
机译:信任否则:高保证系统的可信图形子系统
机译:值得信赖和高度保证的系统。
机译:十一。质量保证和医学教育:A.质量保证:医用计算机系统的质量保证
机译:Trustgraph:用于高保证系统的可信图形子系统
机译:电力监控系统图形子系统(EpmsGs)系统文档