密码协议：基于可信任新鲜性的安全性分析2011.8董玲, 陈克非, 著 密码函数的安全性指标分析2011.2李超, 屈龙江, 周悦, 著 连续变量量子密钥分发的安全性分析2016.6孙茂珠, 葛桂贤, 著 商用密码应用与安全性评估2018.10《商用密码应用与安全性评估》编委会, 编著 密码协议2012.10董玲, 陈克非, 著 数字签名与安全协议2015.任伟, 编著 安全协议实施安全性自动化分析与验证2019.10孟博, 王德军, 著 基于量子密码的安全通信协议研究2015.12娄小平, 著 .NET安全性密码术2004.(美) 托斯腾逊 (Thorsteinson,P.) , (美) 格内希 (Ganesh,G.G.A.) , 著 量子密码协议的设计和分析2013.杨宇光, 著 可证明安全算法与协议2012.3张华, 温巧燕, 金正平, 著 密码协议分析的逻辑方法2013.3雷新锋, 薛锐, 著 动态系统运行安全性分析与技术2019.3柴毅, 张可, 毛永芳, 魏善碧, 著 量子密码协议理论研究2011.1王剑, 著 汽车碰撞的安全性2014.3柳艳杰, 著