密码协议分析的逻辑方法2013.3雷新锋, 薛锐, 著 密码协议2012.10董玲, 陈克非, 著 可证明安全算法与协议2012.3张华, 温巧燕, 金正平, 著 数字签名与安全协议2015.任伟, 编著 密码协议：基于可信任新鲜性的安全性分析2011.8董玲, 陈克非, 著 量子密码协议的设计和分析2013.杨宇光, 著 现代密码学2016.9孙茂华, 著 量子密码协议理论研究2011.1王剑, 著 基于量子密码的安全通信协议研究2015.12娄小平, 著 逻辑中的表列方法2013.7孔红, 著 量子保密通信协议的设计与分析2009.温巧燕, 郭奋卓, 高飞, 著 密码协议基础2008.11邱卫东等, 编著 密码协议形式化分析2006.09王亚弟等, 编著 法律思维中的科学逻辑方法2014.4邓哲, 王再东, 叶展, 余芳, 著 典型密码算法FPGA实现2016.1杨亚涛, 李子臣, 编著