本书共分16章，系统地介绍安全协议的基本理论、关键技术以及典型应用和实践。主要包括密码算法基础知识、可...
2010.8
本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协...
2010.3