provably security

基本解釋

They are provably secure and have good exact security against existential forgery for selective-ID attack;
這兩個方案是可證明安全的，在給定身份和選擇明文攻擊下是不可偽造的；
Second, it is provably secure and has very good exact security against existential forgery for selective-ID attack in the standard model;
其次，這個方案是可證明安全的，即在隨機應答模型下，方案在給定身份和選擇明文攻擊下是不可偽造的；
A provably secure blind signature scheme is proposed. It is based on a partially blind signature. By applying it to fair ecash, we propose a secure fair offline ecash scheme, and analyse its security.
在一種部分盲簽名體制的基礎上提出了一種可驗證安全性的盲簽名體制——一種安全的公平的離線電子現金體制，然后將它應用到公平的電子現金體制中，并對其安全性進行了分析。

可證明安全
Therefore, our point in this thesis is to study and design universal designated verifier signature schemes with some special properties and verifiably encrypted signature schemes via formalization means of provably security.
本文主要通過可證明安全形式化的方法研究和設計具有特殊性質的廣義指定驗證者簽名體制,同時研究了可驗證加密簽名體制。
可證安全
安全性證明