¥40.71定价:¥59.00 (6.9折)
安全协议操作语义与验证 (瑞士)CasCremers(卡斯·克雷默斯),(卢森堡)SjoukeMauw(肖克·毛弗) 全国多仓发货,物流便捷,正版保证,欢迎选购!
安全工程师用高强度的密码算法设计出一个协议后,并不能保证通信协议的安全性。传统的安全分析依赖于设计者的经验和手工分析,这种做法在实践中已经被证明很难完全检测出系统的各种隐藏漏洞。协议运行环境的改变、安全假设的改变,都可能导致新的攻击。 本书涵盖从安全协议验证的基础理论到代码的实现,不仅为协议构建了牢固的数学形式化基础,进而地定义了协议的运行规范和安全属性,还设计了高效的验证算法。
¥31.20定价:¥81.00 (3.86折)
¥40.90定价:¥59.00 (6.94折)
¥40.71定价:¥59.00 (6.9折)
¥44.25定价:¥59.00 (7.5折)
¥41.03定价:¥59.00 (6.96折)
¥41.89定价:¥59.00 (7.1折)
明星店铺 博库网旗舰店
¥40.71定价:¥59.00 (6.9折)
¥40.91定价:¥59.00 (6.94折)
明星店铺 木垛图书专营店
安全工程师用高强度的密码算法设计出一个协议后,并不能保证通信协议的安全性。传统的安全分析依赖于设计者的经验和手工分析,这种做法在实践中已经被证明很难完全检测出系统的各种隐藏漏洞。协议运行环境的改变、安全假设的改变,都可能导致新的攻击。 本书涵盖从安全协议验证的基础理论到代码的实现,不仅为协议构建了牢固的数学形式化基础,进而精确地定义了协议的运行规范和安全属性,还设计了高效的验证算法。
¥43.90定价:¥59.00 (7.45折)
¥40.90定价:¥59.00 (6.94折)
¥41.09定价:¥59.00 (6.97折)