《安全远程网络投票协议》共有十三章。系统全面地介绍了远程网络投票协议设计与分析的基本理论、关键技术及成果。主要内容包括远程网络投票协议的分类和模型、外发展现状、安全属性及其实现所需要的关键技术、典型远程网络投票协议、基于符号模型手工方式分析与验证无收据性、应用PI演算、一阶定理证明器ProVerif、基于符号模型自动化分析与验证抗拒绝服务攻击性、无收据性和抗威胁性、概率进程演算、自动化安全协议证明器Crypto‐Verif、基于计算模型自动化分析和验证抗威胁性等。 《安全远程网络投票协议》可供从事安全协议、密码学、计算机、通信和数学等专业的科技人员、硕士和博士研究生参考,也可供高等院校相关专业的师生参考。
TheTCP/IPGuide是TCP/IP领域的一部百科全书式的经典著作,书中对TCIP/IP协议的原理和实现做了全面的介绍,涉及因特网中使用的各种的协议和技术。本书是其中译本的第2卷,主要介绍TCP/IP应用层协议,共10部分39章,分别介绍了名字系统及TCP/IP名字注册和名字解析、网络文件和资源共享协议、主机配置与TCP/IP主机配置协议、TCP/IP网络管理框架和协议、TCP/IP应用层寻址和应用程序分类、TCP/IP通用文件传送协议、TCP/IP电子邮件系统、TCP/IP万维网和、其他文件和报文传送应用程序、交互式和管理性的实用程序及协议等。本书层次结构清晰,配有大量的插图和表格来辅助文字表述,同时还辅以大量的“注解”、“要点”等,可读性极强。本书内容丰富,易于理解,理论联系实践,是不可多得的TCP/IP方面的指南。
《图灵计算机科学丛书?TCP/IP指南(卷2)应用层协议》是其中译本的第2卷,主要介绍TCP/IP应用层协议,共10部分39章,分别介绍了名字系统及TCP/IP名字注册和名字解析、网络文件和资源共享协议、主机配置与TCP/IP主机配置协议、TCP/IP网络管理框架和协议、TCP/IP应用层寻址和应用程序分类、TCP/IP通用文件传送协议、TCP/IP电子邮件系统、TCP/IP万维网和HTTP、其他文件和报文传送应用程序、交互式和管理性的实用程序及协议等。TheTCP/IPGuide是TCP/IP领域的一部百科全书式的经典著作,书中对TCIP/IP协议的原理和实现做了全面的介绍,涉及因特网中使用的各种最新的协议和技术。