安全协议形式化分析与验证.pdf
《安全协议形式化分析与验证》是作者多年从事安全协议形式化分析与验证相关科研工作的总结，主要对两种形式化方法做了归纳：基于SPIN工具的模型检测和事件逻辑。 《安全协议形式化分析与验证》主要内容如下：介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言Pro
协议
通信协议技术.pdf
本书对通信基本要素技术及通信协议以怎样的形式实现进行介绍，涉及数据的种类与特性，数据传输的基础技术，同步传输模式，分组传输和ATM。
面向低占空比无线传感器网络的数据传输协议研究.pdf
《面向低占空比无线传感器网络的数据传输协议研究》以睡眠调度节能机制对无线传感器网络数据传输带来的影响和挑战为出发点，分析睡眠调度节能机制对数据聚集、多跳广播和端到端通信三种基本数据传输模式的影响，解决面向动态传送协作树的数据聚集时碰撞和干扰问题、面向周期性同步睡眠调度模式下的多跳
无线传感器网络MAC协议分析与实现.pdf
作为一种获取信息的新型技术，无线传感器网络已成为网络研究的热点。在无线传感器网络中，媒体接入控制层是影响网络运行的关键技术，它不仅决定着无线信道中资源的分配情况，影响着网络中各节点所携带的有限能源的使用，与此同时还必须满足网络动态变化以及一些突发业务的需求。《无线传感器网络MAC
量子通信协议设计.pdf
量子信息学是物理、信息科学、数学和计算机科学等多学科交叉的新兴科学。本书主要介绍量子通信中量子态的多方间接传输协议的一些最新成果，涉及量子通信的基本原理、思想方法及相关技术。全书共分4章。第1章介绍预备知识；第2章讨论以多粒子最大纠缠态或非最大纠缠态为量子信息，多方参与的量子态分
电子商务网络协议的形式化分析理论与应用.pdf
本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论方法与实际应用。
面向电子拍卖的安全计算技术与协议研究.pdf
本书主要讲述面向电子拍卖安全计算研究的安全技术和应用范例，主要内容包括：电子拍卖的概述、数字签名技术在电子拍卖中的应用、加密技术在电子拍卖中的应用、安全多方计算在电子拍卖中的应用以及拍卖中的协议安全分析与证明。
图书馆云的服务等级协议.pdf
本书分为三篇，包含9 章内容。第一篇主要从定义、架构和服务过程等方面对云计算和图书馆云的相关研究进行介绍。第二篇先概述了服务质量的相关理论和管理方法，然后讨论了云计算的服务质量所面临的挑战，并寻求相关的质量保障措施。最后利用定量分析方法对图书馆云服务质量的影响因素做了分析。第三篇
安全远程网络投票协议.pdf
本书共有十三章。系统全面介绍了远程网络投票协议设计与分析的基本理论、关键技术及最新成果。主要内容包括远程网络投票协议的分类和模型、国内外发展现状等。
无线传感器网络路由协议及应用.pdf
在无线传感器网络中，路由协议负责将传感器节点采集的数据逐跳转发至汇聚节点，其性能至关重要。传感器节点依靠电池供电，计算、存储和通信能力十分有限，资源的局限性给路由协议的设计带来了巨大挑战，需要研究与之相适应的路由协议。本书分为10章。第1章介绍无线传感器网络的基本知识；第2章介绍