本书内容共分为9章，系统介绍了保障电子商务信息安全的关键技术以及典型应用。前3章讨论了电子商务面临的安全威胁，介绍了电子商务安全基础设施，归纳了电子商务的安全需求层次，阐述了典型的电子商务安全协议。第4章和第5章对典型的电子商务安全协议逻辑分析方法进行了研究，分析了它们各自的特点及存在的局限性或不足，给出了一种能够分析电子商务安全协议多种安全属性的新逻辑分析方法。第6章设计一种新的复合型电子商务安全协议，对其安全目标进行了形式化定义及逻辑推理分析。第7章阐述了两种自更新哈希链机制，证明了其安全性，并且应用自更新哈希链机制设计了认证协议和微支付协议。第8章阐述了合同签署协议的设计与分析。第9章总结提出了电子商务安全协议的设计准则。本书可供从事计算机、信息安全、密码学等专业的科技人员、研究生参考，也可供高等院校相关专业的师生参考。