安全协议设计与分析  0839X1M05013H

学期:2020—2021学年(春)第二学期 | 课程属性:专业普及课 | 任课教师:李红达,徐海霞
授课时间: 星期五,第5、6、7 节
授课地点: 教一楼227
授课周次: 1、2、3、4、5、6、7、8、9、10、11、12、13
课程编号: 0839X1M05013H 课时: 40 学分: 2.00
课程属性: 专业普及课 主讲教师:李红达,徐海霞 助教:
英文名称: Design and Analysis of Security Protocol 召集人:

教学目的、要求

本课程是密码学专业研究生的普及课。课程重点介绍协议安全模型和几类基本安全协议。通过本课程的学习,学生应理解协议安全模型的基本思想,系统地掌握安全协议的设计与分析方法,从而为今后进一步的学习与研究奠定基础。

预修课程

密码学

教 材

相关文献

主要内容

第一章 基础协议

1.1 OT协议与PIR协议

1.2 承诺与零知识证明

第二章 认证与密钥协商

       2.1 基本模型

       2.2 单因子认证

       2.3 多因子认证

       2.4 认证密钥协商安全模型

第三章 隐私保护

       3.1 匿名协议

       2.2 位置隐私保护

第四章 数据审计

       4.1 数据审计

       4.2 静态数据审计

第五章 多方计算

     5.1 安全性定义与模型

     5.2 泄露容忍安全性

     5.3  UC安全性

第六章 委托计算

     6.1 托计算安全性定义及模型

     6.2 用户委托计算协议

     6.3 用户委托计算协议

第七章 比特币与区块链

7.1 比特币中的密码学协议

7.2 区块链技术

7.3 区块链技术进阶

参考文献

Oded Goldreich, The Foundations of Cryptography - Volume 1、2,2003.

C. Boyd, A. Protocols for authentication and key establishment, 2011