新書推薦：
《
图以载道——传统绘画的图像叙事
》
售價：HK$
85.8
《
骨科康复学（第2版）
》
售價：HK$
250.8
《
笔记启蒙 ： 英国皇家学会与科学革命
》
售價：HK$
85.8
《
汉语副词研究论集（第六辑）
》
售價：HK$
107.8
《
干戈之影：商代的战争观念、武装者与武器装备
》
售價：HK$
74.8
《
镶嵌之美：古希腊罗马的马赛克艺术
》
售價：HK$
305.8
《
后希腊化哲学：从斯多亚学派到奥利金的发展研究
》
售價：HK$
76.8
《
别纠结啦：不被情绪牵着走的通透生活指南（“当代一休”小池龙之介治愈新作！附赠精美书签！）
》
售價：HK$
64.9
|
| 編輯推薦： |
|
《隐私保护安全协议研究》可供信息安全、计算机等相关专业教师、研究生阅读，也可供相关领域工程技术人员阅读参考。
|
| 目錄：
|
前言
第一篇基础篇
第1章安全协议概述
1.1安全协议的基本概念
1.1.1定义
1.1.2目的
1.1.3游戏角色
1.1.4领域中所处的层次结构
1.2安全协议的分类
1.2.1认证和密钥交换协议
1.2.2可信第三方类协议
1.2.3其他方法
1.3安全协议的模型与分析方法
1.4安全协议的目标与研究层次
1.5安全协议的设计原则
1.6安全协议典型案例归纳
1.6.1认证协议
1.6.2两方安全协议
1.6.3N方安全协议
1.7小结
第2章安全协议的数学基础
2.1数论基础
2.1.1整除及辗转相除
2.1.2算术基本定理
2.1.3同余式
2.1.4费马小定理和欧拉定理
2.2抽象代数基础
2.3离散概率基础
2.4信息论基础
2.5计算复杂性理论基础
2.5.1基本概念
2.5.2计算模型与判定问题
2.5.3复杂性类
2.6计算困难问题及其假设
2.6.1大整数因式分解问题和RSA问题
2.6.2离散对数和Diffie-Hellman问题
2.6.3椭圆曲线和双线性对问题
第3章安全协议的密码学工具
3.1密码学概述
3.1.1加密历史回顾
3.1.2密码演化
3.1.3密码学基本概念
3.2古典密码
3.2.1古典单码加密法
3.2.2古典多码加密法
3.2.3古典换位密码
3.3计算密码
3.3.1对称密钥密码
3.3.2公开密钥密码
3.3.3数字签名
3.3.4Hash函数
3.4物理密码
3.4.1量子密码
3.4.2量子密码研究综述
3.4.3混沌密码
第4章安全协议的可证明理论
4.1密码体制的攻击游戏
4.2随机预言模型下的安全性证明
4.3标准模型下的安全性证明
第5章隐私保护安全协议
5.1隐私的基本概念
5.2隐私密码本原
5.2.1盲签名
5.2.2群签名
5.2.3环签名
5.2.4k次匿名签名
5.2.5属性签名
5.2.6安全多方计算
5.2.7同态加密
第二篇进阶篇
第6章一种基于随机预言模型的完全公平签名方案
6.1引言
6.2设计公平、隐私保护安全协议的原则
6.3基本模型
6.3.1基本定义
6.3.2公平密钥交换签名协议
6.3.3FKESS攻击模型
6.4基于Schnorr签名的FKESS实例
6.4.1参数设置
6.4.2协议执行
6.5FKESS的安全性与效率分析
6.5.1安全性分析
6.5.2效率分析
第7章两方隐私保护认证密钥协商方案
7.1密钥协商协议的安全目标
7.1.1密钥协商中可能的攻击
7.1.2认证密钥协商协议应实现的安全目标
7.2预备知识
7.3两方隐私保护认证密钥协商协议设计
7.4安全分析与效率分析
7.5小结
第8章三方隐私保护认证密钥协商方案
8.1引言
8.2预备知识
8.3三方隐私保护认证密钥协商协议设计
8.4安全分析与效率分析
8.5小结
第9章一种面向移动应用的匿名电子优惠券系统
9.1引言
9.2预备知识
9.2.1单项Hash函数
9.2.2生物认证
9.2.3核心断言与Hash链
9.2.4RSA加密体制
9.3高效安全的生物认证一次性口令身份协议
9.3.1符号说明
9.3.2用户注册阶段
9.3.3发布电子优惠券
9.3.4电子优惠券下载
9.3.5种子和一次性密码更新阶段
9.4安全分析
9.4.1静态信息变为动态身份口令技术而消除安全隐患
9.4.2采用生物认证可直接消除的安全隐患
9.4.3基于随机数可抵制的安全隐患
9.5效率分析
9.6小结
第三篇高级篇
第10章面向多服务器体系结构的单向AKE协议
10.1引言
10.2预备知识
10.2.1多服务器架构
10.2.2对称加密体制
10.2.3某些术语的解释
10.3一种新型单向AKE协议流程设计
10.3.1符号说明
10.3.2服务器注册阶段
10.3.3单向认证密钥协商
10.4安全分析
10.5效率分析
10.6小结
第11章一种P2P网络中的高效隐蔽搜索协议
11.1引言
11.2隐蔽搜索模型设计
11.3安全性与性能分析
11.4小结
第12章多密钥隐私保护协议
12.1预备知识
12.2一种具有隐私保护的通用可持续认证多密钥协商协议
12.3安全分析与效率分析
12.4扩展到N方讨论
第13章多方隐私保护协议
13.1群组密钥管理分类
13.2基于口令的组通信密钥协商协议
13.3群组隐私保护密钥协商协议
13.4安全分析与效率分析
13.5小结
参考文献
|
| 內容試閱：
|
第1章安全协议概述
如果把一封信锁在保险柜中，把保险柜藏在纽约的某个地方，然后告诉你去看这封信，这并不是安全，而是隐藏。相反，如果把一封信锁在保险柜中，然后把保险柜及其设计规范和许多同样的保险柜给你，以便你和世界上最好的开保险柜的专家能够研究锁的装置，而你还是无法打开保险柜去读这封信，这才是安全的概念。隐藏是攻击者不知道从何下手，安全是你知道也没办法下手。
上述类比中，可以如此理解安全体系中的各个部件：数学是保险柜的材质，坚固可靠。密码学是锁，利用符合条件的数学知识构造。安全协议是保险柜，其完美整合的设计是实践化的最佳载体。保险柜保护的内容就是安全协议保护的互联网上的各种应用。
1.1安全协议的基本概念
信息安全是一个没有尽头的任务，信息社会存在一天，信息安全就会存在一天。攻防共生共存，魔高一尺，道高一丈，反之亦然。完美的理论，并不一定能够解决信息安全的实际问题，理论到实践是一个系统工程，而安全协议的模型与设计是这个工程的核心，是承载信息安全体系的脊梁，是应用选择理论的载体：设计安全协议不单单是基于技术本身，也要考虑应用的成本、代价和体验。
1.1.1定义
所谓协议（protocol），就是两个或两个以上的参与者为完成某项特定的任务而采取的一系列步骤。这包含三层含义：①协议自始至终是有序的过程，每一个步骤必须依次执行。在前一步没有执行完之前，后面的步骤不可能执行。②协议至少需要两个参与者。一个人可以通过执行一系列的步骤来完成某项任务，但它不构成协议。③通过执行协议必须能够完成某项任务。
协议还有其他特点。
（1）协议中的每个人都必须了解协议，并且预先知道所要完成的所有步骤。
（2）协议中的每个人都必须同意遵循它。
（3）协议必须是不模糊的，每一步必须明确定义，并且不会引起误解。
（4）协议必须是完整的，对每种可能的情况必须规定具体的动作。
安全协议（securityprotocol）是建立在某种体系（密码体制、量子禀性）基础上且提供安全服务的一种交互通信的协议，它运行在计算机通信网络或分布式系统中，借助于特定算法来达到密钥分配、身份认证等目的。安全协议的密码基础是由三类基石构造的，如图1.1所示。
图1.1三类密码学的理论基础
安全协议的通信系统基本安全模型如图1.2所示。
图1.2通信系统的安全模型
安全协议的参与者可能是可以信任的实体，也可能是攻击者和完全不信任的实体。安全协议的目标不只是实现信息的加密传输，参与协议的各方可能希望通过分享部分秘密来计算某个值、生成某个随机序列、向对方表明自己的身份或签订某个合同等。解决这些安全问题就需要在协议中采用密码技术，因为它们是防止或检测非法用户对网络进行窃听和欺骗攻击的关键技术措施。对于采用这些技术的安全协议，如果非法用户不可能从协议中获得比协议自身所体现的更多的、有用的信息，那么可以说协议是安全的。安全协议中采用了多种不同的密码体制，其层次结构如表1.1所示。
表1.1安全协议层次结构
高级协议：身份认证、不可否认、群签名；量子密钥分发、博弈量子密钥协商
基本协议：数字签名、零知识、秘密共享；量子签名
基本算法：对称加密、非对称加密、Hash函数；量子Hash函数
基础：核心断言、数论、抽象代数、数学难题；不可克隆、真随机性
从表1.1可看出，安全协议建构在数学或量子信息科学基础和基本算法之上，并且往往涉及秘密共享、加密、签名、承诺、零知识证明等许多基础协议，因此安全协议的设计比较庞大且复杂，设计满足各种安全性质的安全协议成为一项具有挑战性的研究工作。
当前存在着大量的实现不同安全服务的安全协议，其中最常用的基本安全协议按照其完成的功能可分类起名，如电子支付协议、分布式环境下的身份鉴别协议、不可否认协议、密钥协商协议等。
1.1.2目的
在日常生活中，几乎所有的事情都有非正式的协议：电话订货、玩扑克、选举中投票，人们都知道怎样使用它们，而且它们也很有效。随着信息技术的高速发展，将这些现实的协议功能转化为数字，从而在计算机世界中实现是顺理成章的事情。越来越多的人通过计算机网络交流代替面对面的交流，计算机需要正式的协议来完成人们不用考虑就能做的事情，虽然方便大众，但也不是很容易就能实现的：如果你从一个城市迁移到另一个城市，可能会发现投票亭与你以前使用的完全不同，你会很容易去适应它，但计算机就不那么灵活了。
许多面对面的协议依靠人的现场存在来保证公平和安全。你会交给陌生人一叠现金去为你买食品吗？如果你没有看到他洗牌和发牌，那么你愿意和他玩扑克吗？如果没有匿名的保证，那么你会将秘密投票寄给政府吗？
那种假设使用计算机网络的人都是诚实的想法，是天真的。天真的想法还有：假设计算机网络的管理员是诚实的，假设计算机网络的设计者是诚实的。当然，绝大多数人是诚实的，但是不诚实的少数人可能招致很多损害。通过规定协议，可以查出不诚实者企图欺骗的把戏，还可开发挫败这些欺骗者的协议。
除了规定协议的行为，还根据完成某一任务的机理，抽象出完成此任务的过程。由于基本底层通信协议是相同的，对于高层的安全协议是一个黑盒子，所以我们专注设计协议流程与分析，而不用受限于具体的实现。
1.1.3游戏角色
为了帮助说明协议，通常选出几个人作为助手：Alice和Bob是开始的两个人。他们将完成所有的两人协议。按规定，由Alice发起所有协议，Bob响应。如果协议需要第三或第四人，那么Carol和Dave将扮演这些角色。由其他人扮演的专门配角，如表1.2所示。
表1.2剧中人
游戏角色可以扩展为N方，其行为可以分为外部攻击和内部攻击，攻击参与方可以分为个体或团体。因此，四组攻击方式可分为：个体外部攻击、个体内部攻击、团体外部攻击和团体内部攻击。四种攻击方式因目标和意义不同而不同。但通常来说，四种攻击从前往后越来越复杂。
经典案例内部团体协作之拜占庭将军问题
问题描述如下。
（1）1982，LamportSRI，Pease，Shostak。
（2）几个将军围困一座城池，大家必须协商一种策略，进攻还是撤退。
（3）如果有的进攻，有的撤退就有可能打败仗。
（4）条件：有的将军叛国，希望爱国的将军打败仗（破坏达成一致）。
（5）目标：有什么办法使爱国的将军在这种环境下达成一致？
问题抽象如下。
（1）消息的传送是可靠的。
（2）所有的将军可以互相发消息，也可以传递消息。例如，一个叛变的将军可以告诉将军A“B要攻城”，并告诉将军C“B要撤退”。
（3）口头消息模型和书写消息模型。
（4）目标是达成一致，而不是找背叛的将军。
口头消息如下。
（1）解决的办法：每个爱国者都采用多数人的意见一致算法。
（2）这要求每个爱国者得到相同的表决。
（3）面临的问题就变为：每个爱国的将军获得的其他将军的观点是相同的（每个将军都有一个其他将军的决策）。如果将军i是爱国的，则其他将军必须得到将军i的真实决策。
解决方案为采用多数投票表决方式。
例1.13个忠诚将军，1个叛变将军。Lamport递归算法，共4步，如图1.3所示。
a对外报告b收集向量c报告向量d生成结果向量：（1，2，未知，4）。
例1.2若三个将军中，有两个忠诚将军，一个叛变将军，则不能判断出哪个将军叛变，如图1.4所示。
最终结论如下。
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽
HOME
新書上架
