他说，除非朝鲜能切实放弃对核武器的追求，否则它将不被国际社会接受。
布什说，讨论这个问题的合适时机是在平壤以可查证的方式放弃其核武器之后。
代码可以是类型安全代码，但可能不是可验证为类型安全的代码，原因在于验证过程或编译器的限制。
在验证程序中证明为安全型别的程式码则称为安全型别程式码。
如果安全策略允许未被验证为类型安全的代码跳过验证，则可尝试执行此类代码。
第二点，这项政策是我们实现以可核实的方式消除北韩核武器和核项目这个战略目标的最佳方案。
某些编译器只有在您避免使用某些语言构造时才生成可验证的类型安全代码。
此外，设计了一种安全、高效的可验证加密签名体制。
我们向伊朗领导人发出的信号也是明确的：以可核实的方式停止你们的核浓缩计划，以便开始谈判。
只要可能，就创建验证性的安全程序集，你可以避免未托管内存访问。
有了类型安全验证的代码，如果想要访问内存，只能通过对象引用和关联的特性——像字段和属性——达到。
不仅改进了原签名方案的安全漏洞，而且为签名方案增加了可验证性。
我们的政策能够以可核实的方式不再生产钚。