provably security

基本解釋

They are provably secure and have good exact security against existential forgery for selective-ID attack;
這兩個(gè)方案是可證明安全的，在給定身份和選擇明文攻擊下是不可偽造的；
Second, it is provably secure and has very good exact security against existential forgery for selective-ID attack in the standard model;
其次，這個(gè)方案是可證明安全的，即在隨機(jī)應(yīng)答模型下，方案在給定身份和選擇明文攻擊下是不可偽造的；
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.
在一種部分盲簽名體制的基礎(chǔ)上提出了一種可驗(yàn)證安全性的盲簽名體制——一種安全的公平的離線電子現(xiàn)金體制，然后將它應(yīng)用到公平的電子現(xiàn)金體制中，并對(duì)其安全性進(jìn)行了分析。

可證明安全
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.
本文主要通過可證明安全形式化的方法研究和設(shè)計(jì)具有特殊性質(zhì)的廣義指定驗(yàn)證者簽名體制,同時(shí)研究了可驗(yàn)證加密簽名體制。
可證安全
安全性證明