网络安全协议分析2019.6龙翔, 汤荻, 主编 网络安全协议2019.1秦科, 主编 网络安全协议2008.11寇晓蕤, 王清贤, 编著 网络安全协议2015.11寇晓蕤, 王清贤, 著 网络安全协议2008.03秦科, 张小松, 郝玉洁, 编著 网络安全协议2012.2赖英旭, 杨震, 刘静, 编著 网络协议与网络安全2012.7凌力, 编著 网络协议与网络安全2007.凌力, 编著 网络安全通信协议2008.03陈性元, 杨艳, 任志宇, 编著 网络安全协议分析与案例实践2015.赖英旭, 田果, 刘静, 李健, 刘丹宁, 杨震, 编著 网络安全协议理论与技术2009.范明钰, 王光卫, 编著 网络安全协议综合实验教程2016.杨浩森, 李洪伟, 冉鹏, 编著 安全协议的建模与分析2005.02(英) 派恩 (Ryane,P.Y.A.) , (英) 施奈德 (Schneider,A.S.A.) , 著 网络协议分析2009.07寇晓蕤, 罗军勇, 蔡延荣, 编著 网络安全协议的形式化分析与验证2010.3李建华, 主编