安全协议模型与设计/信息安全技术丛书

刘天华、朱宏峰编著的《安全协议模型与设计》从内容上可分为基础理论、模型与设计两部分，并在模型与设计部分中穿插作者多年的研究成果。本书在基础理论部分中按照“全书架构—数学基础—基本工具—设计方法与模型”结构逐步进行阐述。在模型与设计部分中按照“领域架构—研究现状—问题提出—问题解决—未来研究”进行编写，在每一小节中提出问题并给出相应的解决方案。各章内容既相互联系又相对独立，紧紧围绕解决安全协议中针对不同服务环境的设计思想、设计方法、所采用的模型以及折中效率与安全等实际问题，并给出安全性证明、通信量和计算量等参数的横向对比结果，使读者对安全协议领域的研究有深刻的认识，从而起到抛砖引玉的作用。