安全认证协议——基础理论与方法

图书标准信息

• 作者 冯登国
• 出版社 科学出版社
• 出版时间 2023-08
• 版次 31
• ISBN 9787030760333
• 定价 98.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 296页
• 字数 367.000千字

【内容简介】

安全认证协议应用十分广泛,从使用U盾登录银行账户、网上购物,到安全地收发电子邮件、远程办公,以及今天迅猛发展的金融科技,这些已逐渐被人们熟悉的服务背后,都离不开安全认证协议的支持。常用的基础安全认证协议主要有零知识证明、数字签名、认证密钥交换和口令认证等。《BR》本书重点围绕常用的基础安全认证协议、抗量子安全认证协议及其可证明安全性理论,面向基础问题和量子计算时代,结合安全认证协议的标准化和实用化发展趋势,介绍了作者20多年来在安全认证协议方面的原创性成果,主要包括零知识证明、数字签名、认证密钥交换和口令认证等理论与方法。同时,为了便于初学者阅读,本书专门概述了一些相关的基本概念和基础知识。《BR》

【作者简介】

:
冯登国，中国科学院院士，网络与信息安全专家。在Theor.Comput.Sci、J.Cryptology、IEEE IT等国际重要期刊和会议上发表论文200多篇，授权国家发明专利近百项，主持研制国际和国家标准20多项，主持过国家杰出青年科学基金、国家973计划、国家重点研发计划等多项项目，出版有Trusted Computing Principles and Applica-tions（De Gruyter出版社）、《大数据安全与隐私保护》《网络空间安全概论》等多部著作，荣获国家科技进步奖一等奖、国家技术发明奖二等奖等多项奖励。担任过国家863计划信息安全技术主题专家组组长、国家信息化专家咨询委员会委员、国家重点实验室主任等。

【目录】

:
“密码理论与技术丛书” 序

前言

第1章 绪论 1

1.1 密码算法概述 1

1.1.1 密码算法分类 2

1.1.2 对称密码算法 2

1.1.3 公钥密码算法 8

1.1.4 Hash函数与MAC 17

1.1.5 密钥管理 20

1.2 安全协议概述 21

1.2.1 安全协议的分类 21

1.2.2 安全协议的系统模型 22

1.2.3 安全协议的安全属性 23

1.2.4 安全协议的设计准则 24

1.2.5 安全协议发展的驱动力 25

1.2.6 安全协议具体实例 25

1.3 可证明安全性理论与方法 29

1.3.1 可证明安全性的基本思想 30

1.3.2 随机谕示器模型方法论 31

1.3.3 标准模型中安全的公钥密码 34

1.3.4 面向密钥交换协议的安全模型 35

1.4 本书主要内容和安排 38

1.5 注记 43

参考文献 44

第2章 零知识证明 46

2.1 基本概念 47

2.1.1 零知识证明/论证系统 47

2.1.2 并发环境中零知识论证系统 49

2.1.3 重置环境中零知识论证系统 50

2.1.4 BPK模型中可重置零知识、并发零知识及可靠性 54

2.2 实例依赖密码学原语 58

2.2.1 实例依赖的可验证随机函数 58

2.2.2 公钥实例依赖的零知识论证系统 67

2.2.3 实例依赖的证据不可区分论证系统 73

2.3
...