Verifiably

能证实地

常用释义

词性释义

adv.

能证实地
例句
  • 全部
他说,除非朝鲜能切实放弃对核武器的追求,否则它将不被国际社会接受。
布什说,讨论这个问题的合适时机是在平壤以可查证的方式放弃其核武器之后。
Code can be type-safe, yet not be verifiably type-safe, due to the limitations of the verification process or of the compiler.
代码可以是类型安全代码,但可能不是可验证为类型安全的代码,原因在于验证过程或编译器的限制。
在验证程序中证明为安全型别的程式码则称为安全型别程式码。
如果安全策略允许未被验证为类型安全的代码跳过验证,则可尝试执行此类代码。
第二点,这项政策是我们实现以可核实的方式消除北韩核武器和核项目这个战略目标的最佳方案。
某些编译器只有在您避免使用某些语言构造时才生成可验证的类型安全代码。
此外,设计了一种安全、高效的可验证加密签名体制。
我们向伊朗领导人发出的信号也是明确的:以可核实的方式停止你们的核浓缩计划,以便开始谈判。
To determine whether your code is verifiably type-safe.
来确定代码是否是可验证为类型安全的代码。
只要可能,就创建验证性的安全程序集,你可以避免未托管内存访问。
Security enforcement is valid only for verifiably type-safe code.
安全强制仅对可验证的类型安全代码有效。
有了类型安全验证的代码,如果想要访问内存,只能通过对象引用和关联的特性——像字段和属性——达到。
不仅改进了原签名方案的安全漏洞,而且为签名方案增加了可验证性。
我们的政策能够以可核实的方式不再生产钚。
基于身份的可验证加密签名协议的安全性分析
以可核实、不可逆转的方式终止核武器项目
混合可验证加密签名体制及应用
安全模式:运行可验证类型安全的代码;
only safe and external access assemblies can contain code that is verifiably type - safe
只有safe和external_access程序集可以包含证实的安全类型的代码。
网络释义

验证

...ropriately implement)  能验证(Verifiably) 1.2.3 控制文件 (Controlling Document)  Streaming Proxy Server Platform Proje...

可验证

1.verifiably“应该以彻底(fully)、可验证(verifiably)、永久性(permanently)的方式弃核(dismantle)。...news.sina.com.cn 2.verfiabili...

能验证

... 5. 能适当地执行( Appropriately implement) 6. 能验证( Verifiably) 1. 控制文件( Controlling Document) ...

能证实地

R-Z ... verbal violence 激烈的言语 verifiably adv. 能证实地 veteran a. 经验丰富的 ...

公开地

美国认为北韩应该先完全地(completely)、公开地verifiably)、不可回復地