协议安全性理论若干问题研究.pdfVIP

中文摘要 安全协议的模块化设计一直以来是协议设计领域的一个重要研究方向，Canetti提出的 任意组合安全理论为协议模块化设计提供了一个可行的途径。然而目Ji{『任意组合安全理论 中还存在一些没有解决的问题。例如，很多密码需求目前没有相应的理想功能，且同～密 码需求的不同理想功能之间还没有建立清晰的关系。 针对以上问题，在对任意组合安全理论进行深入分析后，本文给出了同一密码原语不 同理想功能之间安全等级的定义，并说明了这种定义的合理性，从而刻画了同一密码原语 的不同理想功能之问的关系。随后针对Canetti给出的两个签名的理想功能，本文依掘该定 义给出了两者安全强弱性的证明。 其次，本文对基于身份协议的组合安全理论进行了重点讨论。对于基于身份的数字签 名，本文提出了两个理想功能，并给出了两者安全性强弱的证明：随后又证明了其中弱的 理想功能与适应性选择消息与身份攻击下存在性不可伪造这一安全性定义是等价的。对于 基于身份的公钥加密，本文给出了一个理想功能，并证明了任何适应性选择密文及身分攻 击下明文不可区分的体制都可以安全实现该理想功能。 关键词：任意组合安全；安全协议；理想功能；基于身份的密码体制；可证安全 第1页 ABSTRACT Themodularof isahot inthe field．The designsecurityprotocolspoint protocoldesign aviable tothemodular approach universallycomposablesecurity,pointedbyCanetti．supplied of unsolved stillexistedinthe of designcryptographic problems theory protocols．However,several functionalitiesfor same differentideal the umversallycompsableseetmty．Forexample，the taskshould differentof the between cryptographicrepresent gradessecurity,butrelationship owned themarenotdefinitionedat mostofthe taskshaven’t all，and cryptographic IdealFunctionalitiesto corresponding support． level After the definedthe of deeplyanalyzinguniversallycomposablesecurity，we differentidealfunctionalitiesforthesame