陈嫄玲，卢中宁主编2008 年出版486 页ISBN：9787560424934
本书立足于计算机网络体系结构，针对其中的各层协议进行了详细的讨论。内容包括概述，物理层规范，局域网协议，广域网协议，应用层协议，网络安全及安全协议和协议分析软件等。...
曹雪峰编著2014 年出版411 页ISBN：9787302336600
本书原则上按自下而上分物理层、数据链路层、网络层、传输层和应用层五层结构组织，在介绍各层功能和原理的同时，对不同层的具体协议的工作原理和交互过程进行详细分析。...
寇晓蕤，罗军勇，蔡延荣编著2009 年出版263 页ISBN：9787111268321
本书以TCP/IP协议族中构建Internet所必需的、与我们交互最直观的协议作为主题，详细讨论了TCP/IP的体系结构和基本概念，并深入分析了各个协议的设计思想、流程及其所解决的问题。各个协议的应用及安全缺陷也被...
张爱新，李建华著2010 年出版214 页ISBN：9787111297260
本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。
古天龙，蔡国永著2003 年出版367 页ISBN：7505386468
本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......
赖英旭，田果，刘静等编著2015 年出版132 页ISBN：9787302422686
本书比较全面地介绍了网络安全协议的关键技术和相关实验配置。特别对vpn列举了比较深入的实际应用。使学生了解网络安全协议的基本知识，掌握网络安全协议的基本概念和应用方法。使学生在已有的网络知识的基...
