安全协议

本书主要内容包括引论、安全协议的密码学基础、认证协议、非否认协议、安全电子商务协议、其他类型的安全协议、BAN类逻辑、Kailar逻辑、Rubin逻辑、串空间模型、CSP方法、实用协议SSL及其安全性分析、安全协议攻击、安全协议设计、安全协议的公开问题、安全协议的发展与展望等。