安全协议的建模与分析2005.02(英) 派恩 (Ryane,P.Y.A.) , (英) 施奈德 (Schneider,A.S.A.) , 著 安全协议设计与分析2015.11张文政, 王立斌, 李益发, 郑东, 董新锋, 编著 密码协议：基于可信任新鲜性的安全性分析2011.8董玲, 陈克非, 著 安全协议分析与设计2010.5卫剑钒, 陈钟, 编著 安全协议2010.8冯登国, 著 安全协议2020.9曹天杰, 张凤荣, 汪楚娇, 编著 安全协议2009.曹天杰, 张永平, 汪楚娇, 编著 网络安全协议分析2019.6龙翔, 汤荻, 主编 基于秘密分享的信息安全协议2015.6刘忆宁, 著 安全协议的理论与方法2003.11范红, 冯登国, 编著 安全协议2005.卿斯汉, 编著 安全协议形式化分析与验证2019.10肖美华, 著 RFID安全协议分析与设计2018.8原变青, 著 协议分析2004.01(美) 里德 (Reed,K.D.) , 著 网络安全协议的形式化分析与验证2010.3李建华, 主编