安全协议的理论与方法2003.11范红, 冯登国, 编著 安全协议2009.曹天杰, 张永平, 汪楚娇, 编著 网络安全协议的形式化分析与验证2010.3李建华, 主编 安全协议的建模与分析2005.02(英) 派恩 (Ryane,P.Y.A.) , (英) 施奈德 (Schneider,A.S.A.) , 著 网络安全2018.12李强, 主编 网络安全2017.刘建伟, 王育民, 编著 网络安全和信息化2018.6《网络安全和信息化》杂志社, 编 安全协议模型与设计2012.6刘天华, 朱宏峰, 著 网络安全2003.07熊华, 郭世泽, 吕慧勤, 编著 网络安全2011.9毕潜, 韩果, 编著 网络安全2015.5(美) 辛格 (Singer,P.W.) , (美) 弗里德曼 (Friedman,A.) , 著 网络安全2011.陈忠平, 等编著 网络安全简明读本2011.7《网络安全简明读本》编写组, 编 网络安全2011.刘建伟, 王育民, 编著 IP网络安全技术2007.12《IP网络安全技术》编写组, 编著