前沿密码应用技术PPT讲座1. 什么是安全？安全与信任的关系 你们考虑过密码算法为什么安全么？ 简单地说，安全就是信任；或者说，你相信“ 它” 是安全的，就是安全的 从“ 水” 的安全性说开去 生活中，常见的信任源有哪些？ 信任源具有动态性 密码学的信任源是什么？ 学术界与工业界对安全的构建采用的不同思想 扩展问题：信任源空间的大小是变化的2. 可证明安全性GoldwasserS,MicaliS,RackoffC.Theknowledgecomplexityofinteractiveproof-systemsC/DBLP,1985:291-304.可证明安全性的起源 起源于1982 年Goldwasser 和Micali 等学者的开创性工作, 他们提出了语义安全性定义, 将可证明安全的思想首次带入安全协议的形式化分析中Goldwasser 和Micali获2012 年图灵奖语义安全性的主要成分 如何定义攻击者 计算能力 先验知识 如何定义攻击目标 直观目标 明文语义 以上述两者为基础，如何定义安全 一种“优势”语义安全性的一种简单抽象攻击者 挑战者公钥挑战明文（M0，M1）随机选择任意
