verifiably
美 
英
例句
' He said the international community won't accept North Korea 'unless it verifiably abandons its pursuit of nuclear weapons.
他說，除非朝鮮能切實放棄對核武器的追求，否則它將不被國際社會接受。
Bush said the appropriate time to discuss the matter is after Pyongyang has verifiably given up its nuclear weapons program.
布什說，討論這個問題的合適時機是在平壤以可查證的方式放棄其核武器之后。
Code can be type-safe, yet not be verifiably type-safe, due to the limitations of the verification process or of the compiler.
代碼可以是類型安全代碼，但可能不是可驗證為類型安全的代碼，原因在于驗證過程或編譯器的限制。
Code that is proven during verification to be type-safe is called verifiably type-safe code.
在驗證程序中證明為安全型別的程式碼則稱為安全型別程式碼。
Code that is not verifiably type-safe can attempt to execute if security policy allows the code to bypass verification.
如果安全策略允許未被驗證為類型安全的代碼跳過驗證，則可嘗試執行此類代碼。
And two, this policy is our best option to achieve the strategic goal of verifiably eliminating North Korea's nuclear weapons and programs.
第二點，這項政策是我們實現以可核實的方式消除北韓核武器和核項目這個戰略目標的最佳方案。
Some compilers generate verifiably type-safe code only if you avoid using certain language constructs.
某些編譯器只有在您避免使用某些語言構造時才生成可驗證的類型安全代碼。
Moreover, we design a secure and efficient verifiably encrypted signature scheme.
此外，設計了一種安全、高效的可驗證加密簽名體制。
Our message to the leaders of Iran is also clear: Verifiably suspend your nuclear enrichment, so negotiations can begin.
我們向伊朗領導人發出的信號也是明確的：以可核實的方式停止你們的核濃縮計劃，以便開始談判。
To determine whether your code is verifiably type-safe.
來確定代碼是否是可驗證為類型安全的代碼。
You can avoid unmanaged memory access by creating verifiably safe assemblies whenever possible.
只要可能，就創建驗證性的安全程序集，你可以避免未托管內存訪問。
Security enforcement is valid only for verifiably type-safe code.
安全強制僅對可驗證的類型安全代碼有效。
Code that is verifiably type-safe accesses memory only through object references and associated features such as fields and properties.
有了類型安全驗證的代碼，如果想要訪問內存，只能通過對象引用和關聯的特性——像字段和屬性——達到。
The scheme not only improved former signature scheme's secure leak, but also increased verifiably.
不僅改進了原簽名方案的安全漏洞，而且為簽名方案增加了可驗證性。
Our policy could verifiably get the regime out of the plutonium-making business
我們的政策能夠以可核實的方式不再生產钚。
Cryptanalysis of an Identity-Based Verifiably Encrypted Signature Scheme
基于身份的可驗證加密簽名協議的安全性分析
terminate nuclear weapons programs promptly, verifiably and irreversibly
以可核實、不可逆轉的方式終止核武器項目
A Mixed Verifiably Encrypted Signature Scheme and It's Applications
混合可驗證加密簽名體制及應用
Safe mode: Run verifiably type safe code;
安全模式：運行可驗證類型安全的代碼；
only safe and external access assemblies can contain code that is verifiably type - safe
只有safe和external_access程序集可以包含證實的安全類型的代碼。
