可证

我们进一步证明这些算法都有可证的近似度。

We further prove that these algorithms have a provable approximation ratio .

分组密码算法认证运算模式的注记及可证安全性

Note to the Authentication Operate Modes of Block Cipher and Provable Security

无需随机预言可证安全的基于ID的身份认证方案

Provably Secure ID - Based Identification Scheme without Random Oracle

基于CPK的可证安全组群密钥交换协议

Provable CPK-based Group Key Exchange Protocol

安全性分析表明，在假设CDH问题是难解的情况下，该方案在随机预言模型中是可证安全的。

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

具体工作如下：1.在研究认证和密钥协商协议的形式化分析方法基础上，对可证安全eCK模型进行扩展。

The main contribution of the thesis is as follows : 1 . Based on the study on the provable secure formal analysis methods of authentication and key agreement , this paper extends the provable secure enhanced Canetti-Krawczyk ( eCK ) model .

许可证致命错误：没有有效的服务器可证。

Fatal licensing error : no valid license servers available .

环签名与门限签名相结合形成了门限环签名。第八章提出了一个高效的可证安全的基于身份的门限环签名方案。

Combining ring signature with threshold signature brings to threshold ring signature .

从而我们只需验证初始值就可证得该等式。

Thus , the identity is proved by checking the initial values .

标准模型下可证安全的加密密钥协商协议

Provable Secure Encrypted Key Exchange Protocol Under Standard Model

分组密码算法两种S盒设计的可证安全性注记

A Note to Provable Security About Two Kind of S-boxes in Block Cipher

一类可证安全的基于身份代理签名体制

A Class of Provable Secure ID-based Proxy Signature Schemes

基于身份可证安全的双方密钥协商协议

Identity-based security provable two parties authentication and key agreement

一种故障容忍的可证安全组密钥协商协议

A Provable Secure Group Key Agreement Protocol with Fault-Tolerant

标准模型下可证安全的门限签名方案

Provably Secure Threshold Signature Schemes Without Random Oracles

包括一个未被改变的本『可证』副本。

Include an unaltered copy of this License .

新的在标准模型中可证安全身份鉴别协议

New provably secure identification protocol in standard model

大多数现有的比较有效的数字签名方案都是在随机预言模型中可证安全。

Most of existing digital signature schemes are provably secure in the random oracle model .

身体影响心理，由此可证，

So we have this evidence , both that the body can shape the mind ,

我们证明该方案在随机预言机模型中是可证安全的。

Then we prove that our scheme satisfies these security notions in the random oracle model .

该协议在理想模型下是可证安全的，并且在通信和计算上都要比现有的同类协议有效。

Our protocol is more efficient in terms of both communication and computational than existing protocols .

这确实可喜可贺，可证中国人政治上并非天生冷感。

This is indeed gratifying because it proves that Chinese are not naturally apathetic about politics .

这是有事实可证的。

This is easy to prove .

我们提出的方案在完备的安全模型下具有可证安全性，且特别考虑了分布式环境的灵活性。

Our scheme is provably secure in the full model . Especially , we take the ?

对于每一个方案我们都在随机预言机模型下进行可证安全性证明。

We provide provable security proof under random oracle model for each of our schemes . 2 .

并提出在随机预言模型或标准模型下可证安全的密码方案。

And present the provable security scheme in the random oracle model or in the standard model .

随后，对门限密钥托管进行了形式化定义，并提出了可证安全的具体方案。

Then we gave the formal definition of thresh-old key escrow and proposed a fully secure scheme .

确切地说，佛法有一个侧面是直接可见并亲身可证的。

To be sure , the Dhamma does have an aspect which is directly visible and personally verifiable .

因为从逻辑的角度来看，每一种滤子正好对应着一种可证公式集。

Since from logical point of view , a kind of filter corresponds to a set of provable formula .

因此，如何设计在标准模型下可证安全且有效的数字签名方案是一个重要问题。

Therefore , it is an important issue to design an efficient and provably secure in the standard model .