内容简介
密态计算可以在不解密加密数据的前提下对授权用户的资源和服行使用，并防止非授权用户对用户数行窃取与利用。该技术弥补了加密数据无法在云端有效利用的瓶颈，实现了“万物计算，互通”。本书从大数据、云计算环境面临的隐私挑战出发，以密态计算理论框架与工具集研究为主线，从理论模型到实际应用，系统阐述了密态计算理论与技术。密态计算能够随地对加密数行处理，无处不在地利用加密信息资源，实现“服务在云端，信息随心行”的理想境界。
本书适合密码学、云数据、大数据相关科研人员和企业研发人员参考，可以作为网络空间一级学科博士生、硕士生的专业教材，也可以作为计算机相关专业高年级本科生的补充读物。
目录
第 1章 绪论 001
1．1 云计算 002
1．1．1 引言 002
1．1．2 概念 003
1．1．3 发展与应用 003
1．1．4 云计算的关键技术 005
1．2 大数据与数据挖掘 006
1．2．1 引言 006
1．2．2 概念 007
1．2．3 发展与应用 008
1．2．4 大数据与数据挖掘关键技术 010
1．3 物联网 010
1．3．1 引言 010
1．3．2 概念 011
1．3．3 发展与应用 011
1．3．4 物联网关键技术 012
1．4 人工智能 013
1．4．1 引言 013
1．4．2 概念 014
1．4．3 发展与应用 014
1．4．4 机器学算法 015
1．5 面临的隐私挑战 018
1．5．1 云计算面临的隐私挑战 018
1．5．2 大数据面临的隐私挑战 019
1．5．3 物联网面临的隐私挑战 020
1．5．4 人工智能面临的隐私挑战 021
1．6 本章小结 022
参考文献 023
第 2章 基础知识 025
2．1 基本代数系统 026
2．1．1 群、环、域 026
2．1．2 多项式环 028
2．1．3 割圆多项式 029
2．1．4 割圆域的归一化 029
2．2 公钥密码 030
2．2．1 公钥密码的原理 030
2．2．2 RSA 算法 032
2．2．3 其他公钥密码算法 033
2．3 模型 035
2．4 困难问题 037
2．4．1 大整数因数分解问题 037
2．4．2 离散对数问题 038
2．4．3 椭圆曲线离散对数问题 038
2．5 全同态加密 038
2．5．1 全同态加密的发展历程 039
2．5．2 全同态加密方案 040
2．5．3 全同态加密的研究 044
2．6 常用协议 045
2．6．1 隐私保护余弦相似度计算协议 045
2．6．2 欧几里得距离计算协议 046
2．6．3 比特分解协议 047
2．6．4 整数与分数计算协议 048
2．7 整数电路 048
2．7．1 基本的整数计算电路 048
2．7．2 封装整数计算电路 052
2．8 其他基础知识点 060
2．8．1 浮点数 060
2．8．2 BLS短签名 060
2．8．3 双线映射 061
2．8．4 Skyline计算 061
2．8．5 0-编码和1-编码 062
2．8．6 关键词加密 062
2．8．7 四叉树数据结构 063
2．8．8 叉积——凸多边形中的点 063
2．8．9 多方计算 064
2．8．10 基于门限解密的Paillier密码系统 065
2．9 本章小结 066
参考文献 067
第3章 基本密态计算原语 071
3．1 支持有理数的密态计算 072
3．1．1 引言 072
3．1．2 准备工作 073
3．1．3 系统模型与隐私需求 074
3．1．4 密码原语和隐私保护整数计算工 076
3．1．5 隐私保护的有理数计算工 083
3．1．6 分析 087
3．1．7 能评估 090
3．2 支持浮点数的密态计算 096
3．2．1 引言 096
3．2．2 准备工作 097
3．2．3 系统模型和隐私需求 098
3．2．4 加密原语和基本隐私保护整数计算协议 100
3．2．5 隐私保护浮点数存储和计算 103
3．2．6 分析 110
3．2．7 能评估 114
3．3 支持多密钥的密态计算 121
3．3．1 引言 121
3．3．2 准备工作 122
3．3．3 系统模型与隐私需求 122
3．3．4 基本密码原语——分布式双陷门公钥密码系统 124
3．3．5 多密钥下的隐私保护整数计算工 126
3．3．6 分析 135
3．3．7 能分析 139
3．4 基于全同态的密态计算 144
3．4．1 引言 144
3．4．2 准备工作 146
3．4．3 系统模型和模型 146
3．4．4 SIMD无符号整数电路和整数技术 147
3．4．5 有符号整数计算电路 153
3．4．6 应用与扩展 158
3．4．7 与能分析 161
3．5 支持非线的密态计算 170
3．5．1 引言 170
3．5．2 准备工作 171
3．5．3 系统模型和隐私需求 173
3．5．4 HPCS构建 175
3．5．5 高精度计算扩展 183
3．5．6 分析 187
3．5．7 能评估 190
3．6 本章小结 197
参考文献 198
第4章 密态计算应用 205
4．1 在线网约车隐务 206
4．1．1 引言 206
4．1．2 问题描述 208
4．1．3 Trace系统构造 211
4．1．4 分析 219
4．1．5 能评估 221
4．2 远程身份认证服务 226
4．2．1 引言 226
4．2．2 问题描述 228
4．2．3 PribioAuth模型构造 231
4．2．4 分析 234
4．2．5 能分析 236
4．3 密态数据查询服务 238
4．3．1 引言 238
4．3．2 问题描述 241
4．3．3 系统架构 245
4．3．4 范围查询协议 250
4．3．5 布尔查询 255
4．3．6 能分析 258
4．3．7 分析 263
4．4 本章小结 268
参考文献 269
名词索引 273