-
公开(公告)号:CN114041132A
公开(公告)日:2022-02-11
申请号:CN202080048630.X
申请日:2020-05-15
Applicant: 微软技术许可有限责任公司
Abstract: 一种计算机系统具有在至少两个执行环境之间实施分隔的分隔机制,使得一个执行环境是干预其他执行环境的所有通信的网守。该计算机系统具有使得网守能够证明该至少两个执行环境的特性的证明机制。执行环境中的第一执行环境运行能够包含安全漏洞的特定于应用的代码。网守被配置为通过根据策略进行转发、修改或丢弃通信中的单独的通信来干预去往和来自第一执行环境的所有通信,从而在第一执行环境上实施输入输出策略。网守提供针对特定于应用的代码和策略两者的证明的证据。