面向电子拍卖的安全计算技术与协议研究.pdf
本书主要讲述面向电子拍卖安全计算研究的安全技术和应用范例，主要内容包括：电子拍卖的概述、数字签名技术在电子拍卖中的应用、加密技术在电子拍卖中的应用、安全多方计算在电子拍卖中的应用以及拍卖中的协议安全分析与证明。
协议
电子商务网络协议的形式化分析理论与应用.pdf
本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论方法与实际应用。
量子通信协议设计.pdf
量子信息学是物理、信息科学、数学和计算机科学等多学科交叉的新兴科学。本书主要介绍量子通信中量子态的多方间接传输协议的一些最新成果，涉及量子通信的基本原理、思想方法及相关技术。全书共分4章。第1章介绍预备知识；第2章讨论以多粒子最大纠缠态或非最大纠缠态为量子信息，多方参与的量子态分
无线传感器网络MAC协议分析与实现.pdf
作为一种获取信息的新型技术，无线传感器网络已成为网络研究的热点。在无线传感器网络中，媒体接入控制层是影响网络运行的关键技术，它不仅决定着无线信道中资源的分配情况，影响着网络中各节点所携带的有限能源的使用，与此同时还必须满足网络动态变化以及一些突发业务的需求。《无线传感器网络MAC
面向低占空比无线传感器网络的数据传输协议研究.pdf
《面向低占空比无线传感器网络的数据传输协议研究》以睡眠调度节能机制对无线传感器网络数据传输带来的影响和挑战为出发点，分析睡眠调度节能机制对数据聚集、多跳广播和端到端通信三种基本数据传输模式的影响，解决面向动态传送协作树的数据聚集时碰撞和干扰问题、面向周期性同步睡眠调度模式下的多跳
通信协议技术.pdf
本书对通信基本要素技术及通信协议以怎样的形式实现进行介绍，涉及数据的种类与特性，数据传输的基础技术，同步传输模式，分组传输和ATM。
安全协议形式化分析与验证.pdf
《安全协议形式化分析与验证》是作者多年从事安全协议形式化分析与验证相关科研工作的总结，主要对两种形式化方法做了归纳：基于SPIN工具的模型检测和事件逻辑。 《安全协议形式化分析与验证》主要内容如下：介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言Pro
认证与密钥协商协议的设计及其应用.pdf
《认证与密钥协商协议的设计及其应用》主要介绍认证与密钥协商协议的设计方法及协议中涉及的相关知识,针对不同应用环境,如VoIP网络、E-health 环境、智能电网等,采用不同方法构建适用于不同应用环境的认证与密钥协商协议,实现不同应用环境中通信实体间的相互认证和密钥协商,还提出基
安全协议实施安全性自动化分析与验证.pdf
《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器Crypto Verif及应用、基于计算模型自动化抽
移动自组网中的先进路由算法与路由协议.pdf
本书全面系统地介绍了移动自组网中的路由协议的特点、发展现状，集中研究与探讨了几个先进路由算法及路由技术，包括QoS路由技术、可扩展的多路径路由算法、可靠性多路径路由算法、多路径流量分配算法和安全广播路由算法等关键技术和热点问题。