+86 0551-63601307

杨波教授报告:密码学中的可证明安全性

  • 王百宗
  • 2014-11-10
  • 2159
 

<IMG src="/_upload/article/images/09/f4/55312f254c848f967a89e14be3bd/W020141110303739373554.jpg" width=200 height=148 _fcksavedurl="http://wcm.ustc.edu.cn/wcm/WCMV6/system/read_image.jsp?FileName=U020141110303531292649.jpg" OLDsrc="/_upload/article/images/09/f4/55312f254c848f967a89e14be3bd/W020141110303739373554.jpg"

报告题目:密码学中的可证明安全性

报告人:杨波教授(陕西师范大学)

报告时间和地点:

第一部分:20141111上午9:45-11:45,教三3A405

第二部分:20141111下午3:00-5:00,教三3A311

 

主办单位:研究生院、信息学院电子工程与信息科学系、中科院电磁空间信息重点实验室

 

报告摘要:

   可证明安全性是现代密码学中的基本工具。该领域的研究工作起源于Shannon的完善保密性理论,但该理论依赖于无限的计算能力,使其缺乏实际指导意义。近年来,通过引入计算复杂性、概率算法和随机预言模型,使得可证明安全的研究逐步面向实用,目前已经成为密码方案和协议的理论基础和设计依据。本报告首先介绍可证明安全性的发展、定义和使用的数学工具,然后以基于身份的加密方案为例,介绍其使用方法,使得学生能够严格地分析和证明现代密码学方案的信息防护能力。

 

报告人简介:

19635月出生,陕西师范大学计算机科学学院二级教授、博士生导师,陕西省人才计划特聘教授,中国密码学会理事,中国密码学会密码算法专业委员会委员,《密码学报》编委。1986年获北京大学数学系学士学位,1993年获西安电子科技大学计算机系计算机软件硕士学位,1999年获西安电子科技大学通信工程学院密码学博士学位。1986年至2005年在西安电子科技大学工作,2005年至2011年在华南农业大学信息学院、软件学院工作,任院长。2011年起在陕西师范大学计算机科学学院工作。2005年担任第四届中国信息和通信安全学术会议程序委员会主席,2009年担任中国密码学会年会副主席,2010年起担任The Joint Workshop on Information Security (JWIS ) Co-General Chair。已主持国家自然科学基金7项、“863”计划1项、国家密码发展基金1项、重点实验室基金4项、陕西省自然科学基金1项,广东省自然科学基金创新团队项目1项。已发表学术论文200余篇,其中被三大检索收录100余篇,出版学术著作及教材6部,包括“十一五”国家级规划教材1部,申请专利4项。