安全协议形式化分析与验证2019.10肖美华, 著 网络安全通信协议2008.03陈性元, 杨艳, 任志宇, 编著 安全协议实施自动化生成与验证2016.11孟博, 王德军, 著 安全协议实施安全性自动化分析与验证2019.10孟博, 王德军, 著 RFID安全协议分析与设计2018.8原变青, 著 网络安全协议的形式化分析与验证2010.3李建华, 主编 新创理论安全模型2018.12吴超, 黄浪, 王秉, 著 网络安全协议2008.03秦科, 张小松, 郝玉洁, 编著 模型设计与制作2018.10刘清丽, 戴蕾, 晋喜, 主编 模型设计与制作2017.12龚宁, 主编 网络安全协议2012.2赖英旭, 杨震, 刘静, 编著 建筑模型设计与制作2006.郎世奇, 编 安全协议操作语义与验证2018.11(瑞士) 卡斯·克雷默斯 (Cas Cremers) , (卢森堡) 肖克·毛弗 (Sjouke Mauw) , 著 模型设计与制作2016.6易泱, 向敏洁, 吴军, 主编 建筑模型设计与制作2015.12孙海姣, 杜一峰, 主编