安全协议实施自动化生成与验证2016.11孟博, 王德军, 著 安全协议实施安全性自动化分析与验证2019.10孟博, 王德军, 著 安全协议原理与验证2011.7王聪, 刘军, 主编 安全协议操作语义与验证2018.11(瑞士) 卡斯·克雷默斯 (Cas Cremers) , (卢森堡) 肖克·毛弗 (Sjouke Mauw) , 著 安全协议形式化分析与验证2019.10肖美华, 著 自动化生产安装与调试2011.5何用辉, 主编 安全协议2010.8冯登国, 著 安全协议2020.9曹天杰, 张凤荣, 汪楚娇, 编著 安全协议2009.曹天杰, 张永平, 汪楚娇, 编著 自动化生产线安装与调试2013.12竺伟华, 主编 自动化生产线安装与调试2012.3何瑞, 主编 自动化生产线安装与调试2014.5彭海兰, 主编 自动化生产线安装与调试2018.12战崇玉, 杨红霞, 主编 自动化生产线安装与调试2019.1单侠芹, 主编 自动化生产线安装与调试2013.6梁倍源, 主编