安全远程网络投票协议2013.3孟博, 王德军, 著 网络安全协议2019.1秦科, 主编 网络安全协议2008.11寇晓蕤, 王清贤, 编著 网络安全协议2015.11寇晓蕤, 王清贤, 著 安全协议2010.8冯登国, 著 安全协议2020.9曹天杰, 张凤荣, 汪楚娇, 编著 网络安全通信协议2008.03陈性元, 杨艳, 任志宇, 编著 安全协议的理论与方法2003.11范红, 冯登国, 编著 安全协议2009.曹天杰, 张永平, 汪楚娇, 编著 安全协议的建模与分析2005.02(英) 派恩 (Ryane,P.Y.A.) , (英) 施奈德 (Schneider,A.S.A.) , 著 网络安全协议2008.03秦科, 张小松, 郝玉洁, 编著 网络安全协议2012.2赖英旭, 杨震, 刘静, 编著 安全协议模型与设计2012.6刘天华, 朱宏峰, 著 安全协议原理与验证2011.7王聪, 刘军, 主编 网络安全协议的形式化分析与验证2010.3李建华, 主编