三章。系统全面地介绍了远程网络投票协议设计与分析的基本理论、关键技术及最新成果。主要内容包括远程网络投票协议的分类和模型、国内外发展现状、安全属性及其实现所需要的关键技术、典型远程网络投票协议、基于符号模型手工方式分析与验证无收据性、应用PI演算、一阶定理证明器ProVerif、基于符号模型自动化分析与验证抗拒绝服务攻击性、无收据性和抗威胁性、概率进程演算、自动化安全协议证明器Crypto‐Verif、基于计算模型自动化分析和验证抗威胁性等。本书可供从事安全协议、密码学、计算机、通信和数学等专业的科技人员

📙 相关书籍

  1. 《组态监控设计与应用》高清PDF 本书详细介绍了目前国内应用广泛、具有代表性的3种组态软件SiemenWinCC、亚控组态Kingview和研华Advantech WebAccess，说明利用组态软件进行行货人机界面开发方法。...
  2. 《计算机监控系统开发与实战》高清PDF 本书以自行研发的软件仿真模块、辅助工具和测试软件为基础，可以无成本搭建支持多种通信模式的可裁剪的计算机监控系统仿真开发平台，从而实现计算机监控系统的仿真开发。...
  3. 《设备监控技术详解》高清PDF 本书是设备监控领域的权威著作，资深专家10余年工作经验结晶。理论全面，系统讲解了设备监控的技术原理和方法；实践性强，包含大量基于真实设备的、经过实践检验的编程实例。在具体内容上，首先详细介绍了各类设备通用的接口、通信协议、算法以及监控程序开发方法，然后着重讲解了串口、网口、SCSI接口、电话线接口、......
  4. 《监测监控系统原理及应用》高清PDF 本书全面而系统地阐述了监测监控的基础理论、技术原理和监控方法。全书共分9章，以监测监控系统的构成为主线，详细介绍了监测监控系统的基础知识、传感器技术、检测信号采集技术、数据通信技术、数据处理技术、测控网络技术、干扰及干扰抑制技术，最后落实于工程设计实践，介绍了监测监控系统的设计与监测监控系统的工程应......
  5. 《嵌入式微机监控系统基础理论及应用》高清PDF 本书内容包括：嵌入微处理器S3C44B0X硬件基础、ARM7TDMI(-S)指令系统、基于S3C44B0X的嵌入式系统应用程序设计等。...
  6. 《监测监控系统原理与实用设计》高清PDF 本书从实用的角度，系统地阐述了监测监控系统的组成及工作原理。主要内容包括：监测监控系统的基本概念；传感器；检测信号采集技术；数据通信技术；现场总线技术；干扰及干扰的抑制技术；监测监控系统的设计；典型监测监控系统等。...
  7. 《著鲁棒控制理论及应用》高清PDF 本书介绍了鲁棒控制的概念、理论、设计方法以及控制理论在船舶电站中的应用。全书共分为7章。...
  8. 《控制系统基础习题及综合创新实训项目指导书》高清PDF 本书共分3个部分,第1部分(第1-6章)针对计算机控制系统知识内容的习题进行系统解答与指导;第2部分(第7-11章)针对计算机控制综合实验平台和仿真控制平台的设备进行介绍及依托此平台的综合实训项目的设计及实现;第3部分(第12-19章)针对自动化工程实战创新平台的设备进行介绍及依托此平台的综合实训项......
  9. 《Hadoop+Spark大数据巨量分析与机器学习整合开发实战》高清PDF 本书介绍希望能够用浅显易懂原理说明, 再加上实机操作、范例程序, 能够降低大数据技术的学习门坎, 带领读者进入大数据与机器学习的领域。透过虚拟机的方法, 就能在自家计算机演练建立Hadoop,并且建立Spark开发环境。以实机操作介绍Hadoop MapReduce与HDFS基本概念, 以及Spar......
  10. 《计算机控制系统》高清PDF 本书共分12章，内容包括绪论、计算机控制系统信号基础、计算机控制系统数学描述、数字控制器模拟化设计方法、数字控制器离散直接设计方法、控制技术中计算机主机、控制系统接口技术-输入输出通道、计算机控制系统程序设计等。...

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。