In this report, we present a framework for generating trustworthy binaries from component specifications and for proving that binaries generated elsewhere satisfy specific policies.

• 在这份报告中，我们提出一个框架来从组件规格中生成可信二进制，并验证二进制于别处产生满足特殊规则。