provably

provably

美 　英

• 網絡可驗證性的

例句

The computer science research community is constantly debating the question of how to make provably secure software.

資訊科學研究社群正在爭論如何制作出確實安全的軟體。

Inventing, analyzing, and optimizing new algorithms or data structures that are provably better than the alternatives.

編寫，分析并優化新的算法或數據結構并證實比現有方案更優。

Careful source analysis can reason through such conditionals to provably correct conclusions.

仔細進行源分析可以從此類條件推理出證實正確的結論。

An efficient digital signature scheme provably secure in the standard model from bilinear maps was proposed.

利用雙線性映射技術設計了一個有效的在標準模型下可證安全的數字簽名方案。

The performance analysis results show that the scheme is provably secure in the random oracle model under the CDH problem assumption.

安全性分析表明，在假設CDH問題是難解的情況下，該方案在隨機預言模型中是可證安全的。

In the random oracle model, the scheme is provably secure against adaptive chosen ciphertext attacks.

在隨機預言模型下，該方案在適應性選擇密文攻擊下是可證明安全的。

A certificateless signature scheme provably secure in the standard model is analyzed. It points out that the scheme is insecure.

通過對一個標準模型下可證安全的無證書簽名方案進行分析，指出該方案是不安全的。

Before HTML5, it is literally impossible to be provably standards compliant.

在HTML5之前，標準兼容簡直就不可能被加以證明。

Not provably valid or not valid.

不可證明為有效或無效。

The procedure is provably irreversible.

已經證明，此過程是不可逆的。

These functions validate all strings unless they are provably not valid.

這些函數將驗證所有字符串，除非這些字符串可證明為無效。

I think Jane has something to say about that. -You know, I think. . . uh, I don't think that that is provably true.

我認為簡對此有自己的看法。-你知道，我認為…嗯，我不認為那是可證實的事實。

This paper constructs a kind of provably secure group signature scheme with authorization based on the BMW's scheme.

在BMW方案的基礎上構建可證明安全性的具有權限特性的群簽名方案。

Zeroth Order Ignorance (0OI): Lack of ignorance. I have 0OI when I provably know something.

零級無知：沒有無知。當大概知道什么，稱為有0OI。

Computational Combinatorial Optimization Optimal or Provably Near-Optimal Solutions

計算機組合優化中的最優及可證近優解

Provably Secure Identity-Based Authenticated Key Agreement Protocols in the Standard Model

標準模型下可證安全的身份基認證密鑰協商協議

Provably Secure Threshold Signature Schemes Without Random Oracles

標準模型下可證安全的門限簽名方案

Provably Secure ID-Based Identification Scheme without Random Oracle

無需隨機預言可證安全的基于ID的身份認證方案

Second, it is provably secure and has very good exact security against existential forgery for selective-ID attack in the standard model;

其次，這個方案是可證明安全的，即在隨機應答模型下，方案在給定身份和選擇明文攻擊下是不可偽造的；

Cryptanalysis of Some Provably Secure Signature Schemes

一些可證安全簽名方案的密碼學分析

A Multi-proxy Signature Scheme with Provably Secure

一個安全的多重代理簽名方案

A Provably Secure Proxy Signature Scheme

一個可證明安全的代理簽名方案