首页>
外国专利>
Methods and Systems for Achieving High Assurance Computing using Low Assurance Operating Systems and Processes
Methods and Systems for Achieving High Assurance Computing using Low Assurance Operating Systems and Processes
展开▼
机译:使用低保证操作系统和过程实现高保证计算的方法和系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
A computing system contains and uses a partitioning microkernel (PMK) or equivalent means for imposing memory partitioning and isolation prior to exposing data to a target operating system or process, and conducts continuing memory management whereby data is validated by security checks before or between sequential processing steps. The PMK may be used in conjunction with an Object Request Broker.
展开▼