项目-安全计算学重大理论问题研究.docVIP

安全计算学重大理论问题研究★项目简介：?近年来，计算机安全技术已经成为现代信息科学和技术最主要的挑战之一。为应对这一挑战，来自各种不同领域的科学理论，包括计算复杂性，密码学，量子计算和量子密码，数论以及代数等已经被广泛的运用，并带来了令人瞩目的进步。与此同时，这些关于安全问题的广泛研究，也给上述诸多理论领域带来了振奋人心的发展，并孕育出许多成果丰硕的交叉学科研究领域。从理论的高度提炼计算复杂性理论、密码理论、量子计算与量子密码理论、数论代数理论中与安全问题密切相关的理论体系与研究方法构成了安全计算学的核心内容。 目前，安全计算学中仍存在许多具有挑战性的重大科学问题急需解决。开展安全计算学的国际前沿研究并做出具有重大影响的原创性成果符合我国科技发展的战略，推动我国安全计算学的跨越式发展，对于我国在21世纪确立国际战略地位具有至关重要的意义。 通过本项目的研究，我们将开创具有重大理论和实际指导意义的安全计算学的新的研究领域，对安全计算学中重大科学问题展开系统和深入的研究。安全计算学，其核心包括对于计算机安全的理论基础和方法学的纵深一体化的研究，其关键研究问题来自包括计算复杂性（作为安全计算的基础），密码学（作为安全计算的应用），量子计算和量子密码（代表安全计算未来的发展），以及数论和代数（作为数学工具）等。在推进研究发展的同时，这一项目也致力于培养一支年轻有为的研究团队人员，使之成为高素质的安全计算研究者。 本研究将围绕安全计算的四个主要方向： 1.为国际标准的加密算法和哈希函数发展新的分析技术和安全模型。 2.发展新的数学技术以解决计算复杂性中的关键难题。 3.发展新的基于计算复杂性的可证明安全性框架。 4.发展新的量子算法和量子密码协议以解决计算和通信中的关键难题。 本项目设置3个课题，彼此在诸多方面有密切联系但又有各自独立的研究重点： 1.“计算复杂性和量子信息处理”子课题：发展新的数学技术用以解决判定树模型, 布尔电路以及通信复杂性中的计算复杂性问题；发展新的、更好的基于计算复杂性的安全模型；设计和分析由量子力学提供性能保障的量子算法和量子密码协议。 2.“密码学”子课题：发展针对国际标准加密算法和哈希函数的安全模型和密码分析技术；着眼于特定的密码破解算法，在这一模型下提取和发展新的可证明安全性模型和证明技术。 3.“数论和代数”子课题：解决计算数论和计算代数中与密码学有关的一些未解问题；从前面的各课题中提炼新的计算问题并为之设计有效的算法；解决或者部分解决一些有密码学意义的关键数学问题。 ?★项目专家组：姓名单位张钹清华大学姚期智清华大学王小云清华大学展涛山东大学蔡吉人北京电子技术研究所郭雷中国科学院数学与系统科学研究院彭实戈山东大学裴定一广州大学林惠民中国科学院软件研究所★课题设置：编号名称负责人主要承担单位2007CB807901计算复杂性理论与量子计算的安全计算问题研究姚期智清华大学2007CB807902密码理论的安全计算问题研究王小云清华大学2007CB807903数论、代数安全计算问题研究展涛山东大学