安全协议操作语义与验证
安全工程师用高强度的密码算法设计出一个协议后，并不能保证通信协议的安全性。传统的安全分析依赖于设计者的经验和手工分析，这种做法在实践中已经被证明很难完全检测出系统的各种隐藏漏洞。协议运行环境的改变、安全假设的改变，都可能导致新的攻击。 本书涵盖从安全协议验证的基础理论到代码的实现，不仅为协议构建了牢固的数学形式化基础，进而精确地定义了协议的运行规范和安全属性，还设计了高效的验证算法。
¥43.90定价：¥59.00 (7.45折)
26条评论
（瑞士）Cas Cremers（卡斯?克雷默斯）, （卢森堡）Sjouke Mauw（肖克?毛弗） /2018-11-01 /电子工业出版社
加入购物车收藏
