网络安全2008.胡道元, 闵京华, 编著 智慧城市网络安全概论2020.4中国网络安全产业联盟, 编著 安全协议实施安全性自动化分析与验证2019.10孟博, 王德军, 著 网络安全实践2017.张自良, 朱明宇, 王华胜, 主编 网络安全基础2019.12(美) 威廉·斯托林斯 (William Stallings) , 著 网络安全技术2020.徐照兴, 刘庆, 蔚治国, 主编 网络安全技术2020.9王群, 编著 安全协议实施自动化生成与验证2016.11孟博, 王德军, 著 网络安全技术2020.8项洪印, 陈龙飞, 陈智敏, 主编 网络安全2004.01吴金龙, 蔡灿辉, 王晋隆, 编 安全协议操作语义与验证2018.11(瑞士) 卡斯·克雷默斯 (Cas Cremers) , (卢森堡) 肖克·毛弗 (Sjouke Mauw) , 著 网络安全2007.06王学军, 田幼勤, 编 网络安全研究与中国网络安全战略2018.5安静, 著 网络安全基础和网络安全配置2004.10微软公司, 著 安全协议设计与分析2015.11张文政, 王立斌, 李益发, 郑东, 董新锋, 编著