2017年前沿密码应用技术-1.pptVIP

内容提要1. 什么是安全2. 可证明安全性3. 基于身份加密4. 基于属性加密5. 代理重加密6. 函数加密7. 可搜索加密8. 加密云邮件系统 徐鹏 副教授 邮箱：xupeng@mail.hust.edu.cn 研究领域：公钥密码，基于身份密码，格密码，可搜索加密，云数据安全等 1. 什么是安全？ 安全与信任的关系 你们考虑过密码算法为什么安全么？ 简单地说，安全就是信任；或者说，你相信“它”是安全的，就是安全的 从“水”的安全性说开去 生活中，常见的信任源有哪些？ 信任源具有动态性 密码学的信任源是什么？ 学术界与工业界对安全的构建采用的不同思想 扩展问题：信任源空间的大小是变化的 2. 可证明安全性 Goldwasser S, Micali S, Rackoff C. The knowledge complexity of interactive proof-systems[C]// DBLP, 1985:291-304. 可证明安全性的起源 起源于1982年Goldwasser和Micali等学者的开创性工作,他们提出了语义安全性定义,将可证明安全的思想首次带入安全协议的形式化分析中 Goldwasser和Micali 获2012年图灵奖 语义安全性的主要成分 如何定义攻击者 计算能力 先验知识 如何定义攻击目标 直观目标 明文语义 以上述两者为基础，如何