数字签名与安全协定


数字签名与安全协定

文章插图
数字签名与安全协定【数字签名与安全协定】《数字签名与安全协定》是2015年出版的图书,作者是任伟 。
基本介绍书名:数字签名与安全协定
作者:任伟
ISBN:9787302397465
定价:25元
出版时间:2015.08.01
书籍信息作者:任伟定价:25元印次:1-1ISBN:9787302397465出版日期:2015.08.01印刷日期:2015.08.10内容简介本书内容包括四个部分: 基本数字签名(基于单向性的签名、基于离散对数的签名、基于离散对数签名的扩展讨论、基于身份识别协定的签名),高级数字签名(盲签名、代理签名、多重数字签名、环签名、指定验证者签名等),安全协定(实体认证协定、身份识别协定、密钥协商协定、比特承诺、零知识证明协定、不经意传输、秘密共享、安全多方计算),基于身份的密码学和可证明安全性 。本书的特点是注重介绍密码学方案的构造逻辑、设计规律,在给出方案的同时,还给出具有启发性的解释和讨论,解释方案的设计机理和思路,以培养学习者的逻辑推理能力 。图书目录第1章数字签名概述/31.1数字签名的一般模型31.2数字签名的分类41.3数字签名的设计原理41.4数字签名的安全性5第2章基于单向性的签名/72.1基于单向函式的签名72.1.1Lamport一次签名72.1.2基于对称加密的一次签名方案82.2利用公钥加密的签名92.2.1Rabin数字签名92.2.2RSA数字签名10第3章基于离散对数的签名/143.1ElGamal签名143.1.1ElGamal签名体制143.1.2ElGamal签名设计的机理143.1.3安全性分析、性能分析与比较163.2Schnorr签名183.3数字签名标準DSS193.4NebergRueppel签名22第4章离散对数签名的扩展/244.1基于离散对数的一般签名244.2一般签名方案的举例254.2.1GOST签名254.2.2Okamoto签名26〖1〗数字签名与安全协定目录[3]〖3〗4.3椭圆曲线上离散对数的签名264.3.1ECDSA264.3.2SM228第5章基于身份识别协定的签名/305.1FeigeFiatShamir签名方案305.2GuillouQuisquater签名方案315.3知识签名32第1部分小结/34扩展阅读建议/35第2部分高级数字签名第6章盲签名/396.1盲签名概念的提出与Chaum盲签名396.2盲签名方案举例406.2.1基于Schnorr签名构造的盲签名406.2.2基于NebergRueppel签名构造的盲签名416.2.3基于ElGamal签名构造的盲签名426.2.4ElGamal型盲签名方案的一般构造方法426.3盲签名的套用43第7章代理签名/457.1代理签名的基本概念和分类457.2代理签名举例477.2.1MUO不保护代理的代理签名477.2.2MUO保护代理的代理签名48第8章多重数字签名/508.1多重数字签名的基本概念508.2多重数字签名举例518.2.1ElGamal型广播多重数字签名518.2.2ElGamal型顺序多重数字签名52第9章其他高级签名/549.1环签名549.1.1环签名的基本概念549.1.2第一个环签名方案559.2指定验证者签名569.2.1指定验证者签名的提出569.2.2SaeedniaKremeerMarkowitch方案579.3不可否认签名589.3.1不可否认签名的提出589.3.2Chaumvan Antwerpen方案599.4失败停止签名61第2部分小结/64扩展阅读建议/65第3部分安 全 协 议第10章实体认证协定/7110.1实体认证与身份识别概述7110.1.1实体认证的基本概念7110.1.2身份识别的基本概念7210.1.3对身份识别协定的攻击7310.2基于口令的实体认证协定7310.2.1基于口令的认证协定7410.2.2基于散列链的认证协定7510.2.3基于口令的实体认证连同加密的密钥交换协定7710.3基于“挑战应答”协定的实体认证7810.3.1基于对称密码的实体认证7810.3.2基于公钥密码的实体认证8010.3.3基于散列函式的实体认证81第11章身份识别协定/8211.1FiatShamir身份识别协定8211.2FeigeFiatShamir身份识别协定8411.3GuillouQuisquater身份识别协定8511.4Schnorr身份识别协定8611.5Okamoto身份识别协定87第12章密钥协商协定/8812.1两方密钥协商8812.1.1DiffieHellman密钥协商协定8812.1.2端到端密钥协商协定9012.1.3MTI密钥协商协定9112.1.4ECMQV密钥协商体制9212.2多方密钥协商9312.2.1会议密钥协商9312.2.2Shamir三次传递协定95第13章高级协定/9613.1比特承诺9613.1.1比特承诺协定概述9613.1.2比特承诺方案9713.1.3基于离散对数问题的承诺方案9913.1.4电话投币协定10013.2零知识证明协定10113.2.1零知识证明的3个经典示例102 13.2.2基于困难问题构造零知识证明10413.3不经意传输10513.3.1不经意传输协定概述10513.3.2不经意传输协定的设计10613.4秘密共享10813.4.1秘密共享概念的提出10813.4.2Shamir门限方案10913.5安全多方计算11313.5.1平均薪水问题11413.5.2百万富翁问题115第3部分小结/118扩展阅读建议/119第4部分基于身份的密码学和可证明安全性第14章基于身份的公钥密码学/12314.1概念、困难假设与IBE12314.1.1基于身份的公钥密码学概念的提出12314.1.2双线性映射和双线性DH假设12514.1.3BonehFranklin IBE方案12614.2基于身份的密钥共享体制12714.2.1SOK密钥共享体制12714.2.2基于配对的三方DH密钥协商协定12814.3基于身份的签名12914.3.1Shamir基于身份的签名12914.3.2ChaCheon基于身份的签名13114.4基于身份的身份识别协定13214.4.1GuillouQuisquater的基于身份的身份识别协定13214.4.2ChaCheon基于身份的身份识别协定133第15章可证明安全签名和协定/13615.1可证明安全概述13615.1.1可证明安全的概念13615.1.2可证明安全的基本思路13715.2可证明安全数字签名13815.2.1数字签名方案的安全性13815.2.2EUFCMA安全性的定义14015.2.3随机预言模型14215.2.4RSAFDH14315.3可证明安全协定简介145第4部分小结/147扩展阅读建议/148参考文献/153第1章C语言程式设计概述/11.1程式设计语言11.1.1“存储程式”原理11.1.2程式设计语言的发展31.1.3语言处理程式41.2C语言的发展和特点51.3C语言的语法单位61.3.1C语言的基本符号61.3.2关键字61.3.3标识符61.3.4C语言语句81.4C语言程式的基本结构81.4.1简单的C语言程式介绍81.4.2C程式的结构与书写规则111.5程式设计与算法131.5.1程式设计131.5.2算法概述141.5.3算法的描述151.5.4结构化程式设计方法191.6C语言程式的上机调试201.6.1C语言的编译环境与运行程式的步骤201.6.2Turbo C开发环境21 1.6.3WinTC系统上机操作方法261.6.4Visual C++ 6.0系统上机操作方法28本章小结34习题34上机实训36实训项目: C语言开发环境的使用与程式调试 37第2章数据类型、运算符与表达式/392.1C语言数据类型与数据的存储39〖1〗数字签名与安全协定目录[3]〖3〗2.1.1C语言的数据类型392.1.2数据在记忆体中的存储形式412.2变数与常量432.2.1常量432.2.2变数472.3C语言的运算符和表达式532.3.1概述532.3.2算术运算符和算术表达式552.3.3关係运算符和关係表达式572.3.4逻辑运算符和逻辑表达式582.3.5赋值运算符和赋值表达式602.3.6条件运算符和条件表达式612.4不同类型数据间的混合运算632.5位运算642.5.1位逻辑运算642.5.2位移运算652.5.3位运算赋值运算符652.6常用数学库函式的使用66本章小结67习题68上机实训70第3章顺序结构程式设计/723.1C语言简单语句723.2数据的输入与输出733.3格式化输入与输出753.3.1格式化输出函式printf()753.3.2格式化输入函式scanf()803.4字元数据的输入与输出843.4.1字元输出函式putchar()843.4.2字元输入函式getchar()853.5顺序结构程式设计举例87本章小结90习题90上机实训93第4章选择结构程式设计/954.1if语句954.1.1单分支if语句954.1.2双分支if语句964.1.3if语句的嵌套974.2switch语句1004.3选择结构程式设计举例102本章小结106习题107上机实训110第5章循环结构程式设计/1125.1循环的概念1125.2for语句1135.3while语句1175.4do…while语句1195.5break与continue语句1215.5.1break语句1215.5.2continue语句1235.6循环的嵌套1245.7程式举例126本章小结128习题128上机实训134第6章数组/1366.1概述1366.2一维数组1376.2.1一维数组的定义1376.2.2一维数组的引用1386.2.3一维数组的初始化139 6.2.4套用举例1416.3二维数组1456.3.1二维数组的定义1456.3.2二维数组的引用1476.3.3二维数组的初始化1476.3.4二维数组的套用举例1486.4字元数组与字元串1506.4.1字元数组1506.4.2字元串1526.4.3字元串处理函式153本章小结156习题157上机实训160第7章函式/1627.1函式的定义与调用1627.1.1函式的分类1627.1.2函式定义的一般形式1647.1.3函式的调用1677.1.4函式的参数传递1687.2函式的嵌套调用与递归调用1727.2.1函式的嵌套调用1727.2.2函式的递归调用1737.3变数的作用域和存储类别1757.3.1变数的作用域1757.3.2变数的存储类别1777.4内部函式与外部函式1787.4.1内部函式1797.4.2外部函式1797.5程式的多档案结构1807.6程式举例185本章小结189习题189上机实训192第8章编译预处理/1948.1宏定义命令1948.2档案包含2008.3条件编译203本章小结205习题205上机实训209第9章指针/2109.1地址与指针类型2109.1.1地址及取地址运算2109.1.2指针类型与指针运算2119.2指针变数2139.2.1指针变数的定义2139.2.2指针变数的运算2149.3指针与数组2179.3.1指向数组元素的指针2179.3.2用指针法引用数组元素2189.3.3多维数组与指针2209.4指针与字元串2249.5指针与函式2279.5.1指针变数作函式的参数2279.5.2指向函式的指针变数2329.5.3指针型函式2359.6指针型数组2379.7多级指针240本章小结241习题242上机实训245第10章结构体、共用体和枚举类型/24710.1结构体类型24710.1.1结构体类型的定义24710.1.2结构体变数的说明与引用24910.1.3位段25310.2结构体数组25510.2.1结构体数组的定义与初始化25510.2.2套用举例25710.3结构体与指针25910.3.1结构体类型的指针变数25910.3.2指向结构体数组的指针26110.3.3结构体类型变数作函式的参数26210.4动态数据结构与鍊表264 10.4.1鍊表的相关概念26410.4.2动态记忆体分配函式26510.4.3鍊表的建立与操作26710.5共用体27210.5.1共用体类型的定义与变数说明27210.5.2共用体变数的引用27310.6枚举类型27510.7用typedef说明一种新类型名277本章小结280习题280上机实训283第11章档案操作/28511.1C语言档案概述28511.2档案的打开与关闭28811.3档案的读写29111.3.1字元的输入和输出29111.3.2格式化输入和输出29411.3.3字元串的输入和输出29811.4随机档案的读写30111.4.1档案的定位30111.4.2fread函式与fwrite函式30211.5出错检测函式30511.5.1ferror()函式30511.5.2clearerror()函式305本章小结306习题307上机实训311第12章课程设计/31312.1课程设计的目的31312.2课程设计的选题与实施过程31412.2.1选题31412.2.2实施过程31412.3课程设计报告的内容31512.4课程设计参考题目315本章小结321综合项目实训321附录AC常用库函式/325附录B全国计算机等级考试二级C语言考试大纲/333附录C计算机二级C语言考试模拟题/336模拟题参考答案350附录D习题参考答案/351第1章习题解答351第2章习题解答353第3章习题解答354第4章习题解答356第5章习题解答359第6章习题解答364第7章习题解答367第8章习题解答371第9章习题解答372第10章习题解答375第11章习题解答378参考文献/382