身体大冒险—运动也快乐 (卢森堡)奈文 著,(卢森堡)德洛特 绘,刘数 译 电子工业出版社,【正版现货】 正版图书,本店套装图书默认为单本,您下单前可咨询在线客服,谢谢!
¥8.20定价:¥18.58 (4.42折)
身体大冒险—运动也快乐 (卢森堡)奈文 著,(卢森堡)德洛特 绘,刘数 译 电子工业出版社,【正版现货】 正版图书,本店套装图书默认为单本,您下单前可咨询在线客服,谢谢!
¥8.20定价:¥21.97 (3.74折)
安全工程师用高强度的密码算法设计出一个协议后,并不能保证通信协议的安全性。传统的安全分析依赖于设计者的经验和手工分析,这种做法在实践中已经被证明很难完全检测出系统的各种隐藏漏洞。协议运行环境的改变、安全假设的改变,都可能导致新的攻击。 本书涵盖从安全协议验证的基础理论到代码的实现,不仅为协议构建了牢固的数学形式化基础,进而精确地定义了协议的运行规范和安全属性,还设计了高效的验证算法。
¥43.90定价:¥59.00 (7.45折)
¥41.01定价:¥59.00 (6.96折)
¥41.16定价:¥59.00 (6.98折)
明星店铺 博库网旗舰店
¥40.71定价:¥59.00 (6.9折)
¥41.01定价:¥59.00 (6.96折)
¥41.01定价:¥59.00 (6.96折)
¥40.99定价:¥59.00 (6.95折)
¥41.10定价:¥59.00 (6.97折)
¥41.30定价:¥59.00 (7折)
¥41.30定价:¥59.00 (7折)
¥6.90定价:¥9.90 (6.97折)
¥6.90定价:¥9.90 (6.97折)
¥6.90定价:¥9.90 (6.97折)
¥6.90定价:¥9.90 (6.97折)
身体大冒险—运动也快乐 (卢森堡)奈文 著,(卢森堡)德洛特 绘,刘数 译【正版】. 全国三仓发货,物流便捷,正版书放心购买!
¥4.40定价:¥32.70 (1.35折)
身体大冒险—运动也快乐 (卢森堡)奈文 著,(卢森堡)德洛特 绘,刘数 译 电子工业出版社,【正版保证】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥6.00定价:¥25.37 (2.37折)
网络空间安全经典译丛 信息安全原理与技术+安全协议操作语义与验证+数据外包中的隐私保护+硬件木马之战攻击防御之谜网络安全
¥371.00定价:¥432.91 (8.57折)
安全协议操作语义与验证【正版书籍,支持发票】 支持电子发票,请确认收货以后联系在线客服
¥46.02定价:¥59.00 (7.8折)
【认准正版 量大优惠】网络空间安全经典译丛 信息安全原理与技术+安全协议操作语义与验证+数据外包中的隐私保护+硬件木马之 正版新书 正规电子发票 联系客服领取
¥300.00定价:¥315.00 (9.53折)
安全协议操作语义与验证 (瑞士)CasCremers(卡斯·克雷默斯),(卢森堡)SjoukeMauw(肖克·毛弗) 全国多仓发货,物流便捷,正版保证,欢迎选购!
安全工程师用高强度的密码算法设计出一个协议后,并不能保证通信协议的安全性。传统的安全分析依赖于设计者的经验和手工分析,这种做法在实践中已经被证明很难完全检测出系统的各种隐藏漏洞。协议运行环境的改变、安全假设的改变,都可能导致新的攻击。 本书涵盖从安全协议验证的基础理论到代码的实现,不仅为协议构建了牢固的数学形式化基础,进而地定义了协议的运行规范和安全属性,还设计了高效的验证算法。
¥26.80定价:¥81.00 (3.31折)
网络空间安全经典译丛 信息安全原理与技术+安全协议操作语义与验证+数据外包中的隐私保护+硬件木马之战攻击防御之谜网络安全
¥368.55定价:¥368.55
正版!安全协议操作语义与验证 9787121351952 电子工业出版社【可开发票】 正版图书下单即可
安全工程师用高强度的密码算法设计出一个协议后,并不能保证通信协议的安全性。传统的安全分析依赖于设计者的经验和手工分析,这种做法在实践中已经被证明很难完全检测出系统的各种隐藏漏洞。协议运行环境的改变、安全假设的改变,都可能导致新的攻击。 本书涵盖从安全协议验证的基础理论到代码的实现,不仅为协议构建了牢固的数学形式化基础,进而地定义了协议的运行规范和安全属性,还设计了高效的验证算法。
¥30.00定价:¥59.00 (5.09折)
安全协议操作语义与验证 (瑞士) 卡斯·克雷默斯 (Cas Cremers) , (卢森堡) 肖克·毛弗 (S ouke
¥38.00定价:¥38.00