卿斯汉编著2005 年出版362 页ISBN：7302099669
本书主要内容包括引论、安全协议的密码学基础、认证协议、非否认协议、安全电子商务协议、其他类型的安全协议、BAN类逻辑、Kailar逻辑、Rubin逻辑、串空间模型、CSP方法、实用协议SSL及其安全性分析、安全...
秦科，张小松，郝玉洁编著2008 年出版240 页ISBN：7811142260
本书主要介绍信息安全协议古老和最新的研究成果。通过协议安全的本质，来引入对安全协议的思考和相关内容。针对不同已知的攻击方法，介绍已有的防范技术。以数学工具描述这些安全协议，以及相关的攻击技术和防范...
冯登国著2011 年出版520 页ISBN：9787302232902
本书共分16章，系统地介绍安全协议的基本理论、关键技术以及典型应用和实践。主要包括密码算法基础知识、可证明安全性、形式化、混合、零知识证明、安全多方计算等基础理论和方法。...
范明钰，王光卫编著2009 年出版223 页ISBN：9787302193005
本书主要介绍Internet协议及其基本概念、安全协议的密码学基础、基本安全协议、抗攻击的安全协议及实际使用的安全协议。
Man Young Rhee著2007 年出版310 页ISBN：7302152594
本书介绍因特网有关的安全性问题，以及网络安全加密，实现算法与协议等内容。
陈如刚，杨小虎编著2000 年出版135 页ISBN：730802363X
本书针对电子商务的重要环节——网上支付，系统而全面地介绍了实现网上支付的主要安全协议：SET、SSL和S-HTTP协议，并对电子商务系统建设中的一些安全问题作了深入分析。...
（英）Peter Ryan等著；张玉清，莫燕，吴建耀等译2005 年出版235 页ISBN：7111157214
本书介绍了安全协议的一种建模与分析方法。
卫剑钒，陈钟编著2010 年出版156 页ISBN：9787115220028
本书系统地介绍了安全协议（主要是认证协议和密钥建立协议）的基本概念、攻击方法、分析方法和设计方法。本书可作为信息安全、数学、计算机、通信专业的研究生和本科生教材，也可作为相关专业的研究人员和工程技...
（意）卢卡·戴尔格罗斯（LucaDelgrossi），（美）张涛著；鲁光泉，田大新，王云鹏译2015 年出版374 页ISBN：9787568200929
本书重点论述车辆安全通信协议，安全，隐私等前沿问题。全书共涉及22章节，研究领域主要是将人的因素集成到车载系统上来增强汽车的安全性。本书为增强驾驶员注意力以及防止道路事故提供了新的方法，使用传感器和无...
