网络环境下可证明安全分布式公钥加密体制的研究

项目名称： 网络环境下可证明安全分布式公钥加密体制的研究

项目编号： No.60903189

项目类型： 青年科学基金项目

立项/批准年度： 2010

项目学科： 金属学与金属工艺

项目作者： 龙宇

作者单位： 上海交通大学

项目金额： 17万元

中文摘要： 设计在网络环境下安全的分布式加密体制是密码学研究的一项重要内容。由于目前对分布式环境中安全性界定的局限性，现有对分布式加密体制的研究没有充分考虑分布式环境的特点，所设计的体制不能被运用到真实网络环境中。本项目将系统研究真实网络环境下的分布式加密体制及其性能：用形式化方法研究真实网络环境中分布式加密体制的协议过程及攻击者的行为；完善现有分布式加密体制的协议模型和安全模型，使其能准确描述真实网络环境，特别是在不同公钥环境下，对分布式加密体制的动态性以及在自适应选择参与者攻击下的安全性等进行建模；在此基础上，设计出高效且具有可证明安全性的分布式加密体制。本项目的成功实施，对研究与真实网络环境相结合的分布式公钥加密体制，具有重要的理论意义和潜在的应用价值。

中文关键词： 密码学；公钥；可证明安全；分布式；

英文摘要：

英文关键词： Cryptography；Public Key；Provable Security；Distributed；