无线传感器网络轻量级密码算法与协议
出版时间：2013年版
内容简介
《无线传感器网络轻量级密码算法与协议》围绕无线传感器网络轻量级密码算法与应用协议展开论述，首先分析了无线传感器网络的安全特点，综述了加密算法的研究现状；接着分别介绍了神经网络密码、整数型混沌密码、优化的身份公钥等新型轻量级算法，并详细阐述了在此基础上构建的无线传感器网络密钥管理及其他若干轻量安全协议设计；最后讨论了无线传感器网络安全协议的形式化方法与工具，并给出了具体的分析实例。《无线传感器网络轻量级密码算法与协议》研究的内容兼具理论深度和工程实用性，内容叙述专业性较强、逻辑联系较紧密，尤其是后面若干安全协议的设计依赖于前面提出的各种算法，应用创新性较强。《无线传感器网络轻量级密码算法与协议》适合高等院校的计算机、信息安全、网络工程、物联网等专业研究生和高年级本科生，从事网络信息安全的科研人员和软件开发者阅读。
目录
第1章 无线传感器网络基础
1．1 无线传感器网络基本结构
1．2 常见传感器节点及基本协议
1．3 传感器节点轻量级开发环境
1．3．1 TinyOS系统
1．3．2 NesC语言
第2章 无线传感器网络安全与密码技术
2．1 无线传感器网络安全威胁
2．1．1 安全隐患分析
2．1．2 安全攻击分类
2．2 无线传感器网络安全属性
2．3 无线传感器网络密码技术现状
2．3．1 传统对称加密算法
2．3．2 非传统的加密算法
2．3．3 优化的公钥加密算法
2．4 本章小结
第3章 基于树型奇偶机的神经密码算法
3．1 神经网络互学习模型
3．1．1 连续的神经网络交互学习模型
3．1．2 离散的神经网络交互学习模型
3．2 树型奇偶机模型基础
3．2．1 树型奇偶机基本结构
3．2．2 交互学习的权值同步
3．2．3 权值同步的判定问题
3．3 树型奇偶机模型改进
3．3．1 权值同步的稳定性
3．3．2 权值同步的可靠性
3．3．3 模型的进一步考虑
3．4 树型奇偶机神经密码协议基础
3．4．1 神经密码协议研究现状
3．4．2 神经密码协议安全讨论
3．5 树型奇偶机轻量级应用方案
3．5．1 基于捎带的交互学习方法
3．5．2 树型奇偶机轻量级流密码
3．6 本章小结
第4章 基于整型运算的混沌密码算法
4．1 混沌密码学基础
4．1．1 混沌与密码
4．1．2 基本混沌映射
4．1．3 混沌密码研究
4．2 混沌函数运算的整型化改造
4．2．1 Logistic映射函数的改造
4．2．2 混沌序列发生器的改造
4．3 基于整数混沌的复合流密码算法
4．3．1 混沌序列发生器
4．3．2 混沌密钥流
4．3．3 性能分析
4．4 基于整数混沌的分组加密算法
4．4．1 轮加密结构
4．4．2 加解密流程
4．4．3 性能分析
4．5 基于整数混沌的消息鉴别算法
4．5．1 鉴别码结构设计
4．5．2 安全与性能测试
4．5．3 轻量级安全应用
4．6 本章小结
第5章 基于身份的公钥密码算法
5．1 椭圆曲线加密基础
5．1．1 数论基本知识
5．1．2 椭圆曲线基础
5．2 双线性对理论基础
5．2．1 相关基础知识
5．2．2 双线性对定义
5．3 双线性对计算优化
5．3．1 对的比较
5．3．2 对的优化
5．4 基于双线性对优化的身份公钥
5．4．1 基本加密方案
5．4．2 基本签名方案
5．4．3 加密算法性能
5．5 基于组合密钥的轻量级身份公钥
5．5．1 加密方案及其性能
5．5．2 签名方案及其性能
5．6 本章小结
第6章 无线传感器网络密钥管理协议
6．1 无线传感器网络密钥管理研究现状
6．1．1 密钥管理协议分类
6．1．2 各类密钥管理协议
6．1．3 密钥管理研究挑战
6．2 基于树型奇偶机的密钥管理协议
6．2．1 密钥分配协议
6．2．2 密钥更新协议
6．2．3 密钥撤销协议
6．3 基于身份公钥的密钥管理协议
6．3．1 密钥分配协议
6．3．2 密钥更新协议
6．3．3 密钥撤销协议
6．4 基于身份的密钥管理服务协议
6．4．1 研究背景与意义
6．4．2 IBE密钥管理服务
6．4．3 服务性能评估
6．5 本章小结
第7章 无线传感器网络安全通信协议
7．1 新型轻量级链路加密传输协议
7．1．1 树型奇偶机和混沌密码的混合
7．1．2 TinyOS安全协议TinySec
7．1．3 基于混合密码的轻量安全协议TinyTCSec
7．1．4 轻量级协议的安全与性能分析
7．2 新型轻量级攻击容忍安全协议
7．2．1 基于身份公钥的攻击容忍安全协议
7．2．2 改进的轻量级攻击容忍安全协议
7．2．3 轻量级安全协议的安全与性能分析
7．3 接入网关的数据签名认证协议
7．3．1 基于IBE的XML签名认证
7．3．2 认证方案的安全与性能分析
7．3．3 原型演示系统的设计与实现
7．4 本章小结
第8章 无线传感器网络安全协议的形式化分析
8．1 安全协议形式化分析方法与工具
8．2 无线传感器网络安全协议的形式化方法
8．2．1 安全协议的验证需求
8．2．2 形式化分析研究现状
8．2．3 形式化方法综合框架
8．3 基于模型检测的安全协议分析与改进
8．3．1 形式化分析与改进的方法流程
8．3．2 无线传感器网络安全协议分析与改进
8．4 基于进程分析工具PAT的建模与验证
8．4．1 PAT工具的框架结构
8．4．2 PAT工具的扩展开发
8．4．3 WSN安全建模与验证
8．5 本章小结
参考文献
