安全协议操作语义与验证2018.11(瑞士) 卡斯·克雷默斯 (Cas Cremers) , (卢森堡) 肖克·毛弗 (Sjouke Mauw) , 著 安全协议原理与验证2011.7王聪, 刘军, 主编 安全协议形式化分析与验证2019.10肖美华, 著 安全协议实施自动化生成与验证2016.11孟博, 王德军, 著 安全协议2010.8冯登国, 著 安全协议2020.9曹天杰, 张凤荣, 汪楚娇, 编著 安全协议实施安全性自动化分析与验证2019.10孟博, 王德军, 著 安全协议2009.曹天杰, 张永平, 汪楚娇, 编著 网络安全协议的形式化分析与验证2010.3李建华, 主编 基于秘密分享的信息安全协议2015.6刘忆宁, 著 安全协议2005.卿斯汉, 编著 安全协议模型与设计2012.6刘天华, 朱宏峰, 著 安全协议的理论与方法2003.11范红, 冯登国, 编著 安全协议的建模与分析2005.02(英) 派恩 (Ryane,P.Y.A.) , (英) 施奈德 (Schneider,A.S.A.) , 著 电工安全操作规程标准与技术2009.《现代企业安全操作规程标准与技术丛书》编委会, 编