In this report, we present a framework for generating trustworthy binaries from component specifications and for proving that binaries generated elsewhere satisfy specific policies.
英
美
释义
在这份报告中,我们提出一个框架来从组件规格中生成可信二进制,并验证二进制于别处产生满足特殊规则。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2025 海词词典(Dict.cn)
立即下载