本书系统介绍函数策略加密体制原理、算法和应用，可帮助读者将函数加密知识应用于信息安全的方案设计和实际应用中。本书共分9章，内容包括函数加密体制的基本概念和安全模型、基于身份函数加密体制、谓词函数加密、内积谓词加密、仿射空间加密、有限自动机加密以及不同策略函数表达的函数加密体制之间的关系。 本书概念清晰、结构合理、由浅入深、通俗易懂，并充分考虑读者在阅读过程中的连贯性和系统性。 本书可作为高等院校网络空间安全、网络工程与网络安全协议、大数据安全与隐私保护、人工智能安全等专业研究生和高年级本科生的参考用书，也可作为相关研究人员和工程技术人员的参考书。

第1章 函数加密体制研究概述
1.1 函数加密体制概述
1.2 函数策略密码体制研究意义
1.3 国内外研究概述
1.4 应用案例与前景
1.4.1 加密邮件的过滤检测
1.4.2 敏感电子病历安全访问
第2章 基本概念与基础知识
2.1 本书符号及算法
2.2 算法时间复杂度
2.2.1 图灵机算法与NP问题
2.2.2 多项式时间复杂度
2.2.3 随机谕言机模型
2.2.4 概率分布与区分引理
2.2.5 不可预测函数
2.3 攻击试验游戏与不可区分性
2.3.1 攻击模型与试验游戏
2.3.2 概率多项式时间与计算不可区分性
2.3.3 统计距离与统计不可区分性
2.4 双线性映射及数论假设
2.4.1 双线性映射及安全假设
2.4.2 合数阶双线性群及安全假设
2.4.3 合数阶BGN同态加密
2.4.4 多线性映射及难题假设
2.5 密码学基础函数
2.5.1 密码函数与随机置换
2.5.2 伪随机函数
2.5.3 可穿刺伪随机函数
2.5.4 证据伪随机函数
2.6 基础安全原语与协议
2.6.1 消息认证码
2.6.2 数字承诺方案
2.6.3 非交互零知识证明系统
2.6.4 非交互Zap
2.6.5 求和检测协议
2.7 混淆电路与随机编码
2.7.1 混淆电路
2.7.2 随机编码方案
本章小结
第3章 函数加密模型与分类
3.1 函数加密算法模型
3.2 函数加密体制安全性定义
3.2.1 基于游戏的安全性定义
3.2.2 基于模拟的安全性定义
3.2.3 安全模型之间的关系
3.3 随机功能函数的函数加密
3.3.1 随机功能函数定义
3.3.2 随机功能函数加密模型及安全性
3.4 谓词策略函数
3.4.1 谓词加密
3.4.2 基于身份的加密
3.4.3 属性基加密
3.4.4 隐藏向量加密
3.4.5 内积加密
3.4.6 矩阵乘加密
3.5 简单的通用函数加密系统构造
3.6 约束伪随机函数构造通用函数加密
3.7 多输入函数加密
3.8 证据加密
3.9 私钥函数加密
3.10 可验证的私钥函数加密及应用
3.11 可穿刺函数加密
本章小结
第4章 基于身份的加密体制及可审计电子交易应用
4.1 基于身份的加密体制概述及优缺点
4.2 经典IBE方案构造
4.2.1 随机谕言机模型下Boneh-Franklin方案
4.2.2 无随机谕言机选择身份安全Boneh-Boyen方案
4.2.3 标准模型下IBE方案
4.2.4 合数阶双线性群的IBE构造
4.3 IBE构造CCA安全PKE
4.4 可检测IBE及应用于可审计电子交易
4.4.1 明文可检测加密模型
4.4.2 明文可检测加密方案IBPCE设计
4.4.3 IBPCE性能分析
4.5 可审计电子交易协议
4.5.1 可审计交易系统模型与角色
4.5.2 IBPCE在可审计移动电子商务中的应用
本章小结
第5章 匿名谓词加密及其在隐私保护群邮件中的应用
5.1 隐私保护群邮件收发系统
5.2 匿名群接收者函数加密语义
5.3 匿名群邮件收发方案设计
5.3.1 匿名群邮件收发具体方案
5.3.2 AMIE方案可证明安全性
5.4 双端匿名性群邮件系统扩展
5.4.1 AMIE*方案构造
5.4.2 AMIE*方案分析
5.4.3 AMIE*方案性能比较分析
5.5 安全群邮件转发系统部署
5.5.1 隐私保护的群邮件交递转发系统
5.5.2 系统部署
5.5.3 系统测试
5.6 偏序子集委托匿名加密及委托性
5.6.1 偏序关系
5.6.2 偏序委托性质
5.7 偏序委托隐私安全邮件系统
5.7.1 语义模型与系统定义
5.7.2 PoE方案详细设计
5.8 偏序角色委托安全群邮件部署及应用
本章小结
第6章 内积函数加密及几何空间隐私保护
6.1 内积谓词
6.2 一种简单的内积加密
6.3 通用内积加密及性质
6.4 二元向量内积加密
6.5 非零内积函数加密体制
6.5.1 非零内积函数加密语义
6.5.2 NIPE通用构造
6.6 多客户端的函数加密
6.7 适应性安全的内积加密
6.8 基于几何区域策略函数加密体制
6.8.1 几何策略加密体制目标与需求
6.8.2 几何区域关系判定
6.8.3 位置认证
6.8.4 点线几何策略加密框架
6.8.5 GeoEncLine安全模型
6.8.6 GeoEncLine方案详细构造
6.8.7 实际应用坐标范围分析
6.9 点面关系的GeoEncHull函数加密方案
6.9.1 GeoEncHull方案设计
6.9.2 隐私保护签到系统案例
本章小结
第7章 空间加密
7.1 仿射空间与偏序关系
7.2 适应性安全的向量隐私空间加密
7.2.1 空间加密方案语义模型与算法功能
7.2.2 向量隐私空间加密方案设计
7.2.3 导入密钥一致性
7.2.4 解密正确性
7.2.5 导入密钥不变性
7.3 双端空间加密
本章小结
第8章 正则语言策略函数加密
8.1 正则语言及基本性质
8.2 确定性有限状态自动机与正则语言
8.