网络协议的形式化分析与设计2003.04古天龙, 编
安全协议形式化分析与验证2019.10肖美华, 著
网络安全协议的形式化分析与验证2010.3李建华, 主编
密码协议形式化分析2006.09王亚弟等, 编著
电子商务协议的形式化分析理论与应用2008.01谢晓尧, 著
网络协议分析2009.07寇晓蕤, 罗军勇, 蔡延荣, 编著
网络协议分析2016.9许爽, 苏玉, 主编
网络协议分析2017.9寇晓蕤, 蔡延荣, 张连成, 编著
协议分析2004.01(美) 里德 (Reed,K.D.) , 著
网络协议逆向分析及应用2015.12吴礼发, 洪征, 潘瑶, 著
TCP/IP协议与网络编程2004.03任泰明, 编著
Windows网络协议应用编程2018.6丁德红, 方逵, 李剑波, 主编
攻击网络协议2020.1(美) 詹姆斯·福肖 (James Forshaw) , 著
网络攻击形式化建模理论2010.7黄光球, 著
网络协议本质论2011.8李洋, 编著