软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2012年
1期
140-151
,共12页
公钥密码学%可证明安全%随机谕言模型%随机谕言实例化%随机谕言的不可实例化性质%弱化的随机谕言模型
公鑰密碼學%可證明安全%隨機諭言模型%隨機諭言實例化%隨機諭言的不可實例化性質%弱化的隨機諭言模型
공약밀마학%가증명안전%수궤유언모형%수궤유언실례화%수궤유언적불가실례화성질%약화적수궤유언모형
介绍了可证明安全理论中的重要工具——随机谕言模型,包括随机谕言模型的起源、基本性质和方法、随机谕言模型中的代表方案、明文知晓性质、随机谕言的实例化、随机谕言不可实例化的性质和相关负面结论以及对弱化的随机谕言模型的研究.此外,比较了随机谕言模型和其他理想模型,简介了标准模型中的方案设计状况.
介紹瞭可證明安全理論中的重要工具——隨機諭言模型,包括隨機諭言模型的起源、基本性質和方法、隨機諭言模型中的代錶方案、明文知曉性質、隨機諭言的實例化、隨機諭言不可實例化的性質和相關負麵結論以及對弱化的隨機諭言模型的研究.此外,比較瞭隨機諭言模型和其他理想模型,簡介瞭標準模型中的方案設計狀況.
개소료가증명안전이론중적중요공구——수궤유언모형,포괄수궤유언모형적기원、기본성질화방법、수궤유언모형중적대표방안、명문지효성질、수궤유언적실례화、수궤유언불가실례화적성질화상관부면결론이급대약화적수궤유언모형적연구.차외,비교료수궤유언모형화기타이상모형,간개료표준모형중적방안설계상황.
