计算机网络安全导论,(美)穆罕默德S·奥巴代特,(突尼斯)努尔丁A·布德里卡著,电子工业出版社
¥86.00定价:¥6600 (0.14折)
计算机网络安全导论 (美)穆罕默德S·奥巴代特,(突尼斯)努尔丁A·布德里卡著 电子工业出版社
¥88.00定价:¥88.00
正版书籍 数据可视化创意手记 Nadieh Bremer(纳迪赫·布雷默)、Shirley Wu(吴雪莉又名吴雪扬)电子 品质好书 正版保障 优质服务 发货及时 售后无忧
探索可视化叙事的多种技术和形态,突破了数据可视化工具属性和美学表达之间的界限
¥214.10定价:¥258.00 (8.3折)
安全协议操作语义与验证 (瑞士)CasCremers(卡斯·克雷默斯),(卢森堡)SjoukeMauw(肖克·毛弗). 全国多仓发货,物流便捷,正版保证,欢迎选购!
安全工程师用高强度的密码算法设计出一个协议后,并不能保证通信协议的安全性。传统的安全分析依赖于设计者的经验和手工分析,这种做法在实践中已经被证明很难完全检测出系统的各种隐藏漏洞。协议运行环境的改变、安全假设的改变,都可能导致新的攻击。 本书涵盖从安全协议验证的基础理论到代码的实现,不仅为协议构建了牢固的数学形式化基础,进而地定义了协议的运行规范和安全属性,还设计了高效的验证算法。
¥27.80定价:¥81.00 (3.44折)
正版!安全协议操作语义与验证 9787121351952 电子工业出版社【可开发票】 正版图书下单即可
安全工程师用高强度的密码算法设计出一个协议后,并不能保证通信协议的安全性。传统的安全分析依赖于设计者的经验和手工分析,这种做法在实践中已经被证明很难完全检测出系统的各种隐藏漏洞。协议运行环境的改变、安全假设的改变,都可能导致新的攻击。 本书涵盖从安全协议验证的基础理论到代码的实现,不仅为协议构建了牢固的数学形式化基础,进而地定义了协议的运行规范和安全属性,还设计了高效的验证算法。
¥30.00定价:¥59.00 (5.09折)