密码协议形式化分析2006.09王亚弟等, 编著 安全协议形式化分析与验证2019.10肖美华, 著 网络协议的形式化分析与设计2003.04古天龙, 编 密码协议2012.10董玲, 陈克非, 著 网络安全协议的形式化分析与验证2010.3李建华, 主编 电子商务协议的形式化分析理论与应用2008.01谢晓尧, 著 数字签名与安全协议2015.任伟, 编著 可证明安全算法与协议2012.3张华, 温巧燕, 金正平, 著 密码协议：基于可信任新鲜性的安全性分析2011.8董玲, 陈克非, 著 密码协议分析的逻辑方法2013.3雷新锋, 薛锐, 著 现代密码学2016.9孙茂华, 著 量子密码协议的设计和分析2013.杨宇光, 著 量子密码协议理论研究2011.1王剑, 著 基于量子密码的安全通信协议研究2015.12娄小平, 著 量子保密通信协议的设计与分析2009.温巧燕, 郭奋卓, 高飞, 著