登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入 新註冊 |　新用戶登記

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / EMS，時效：出貨後2-3日

新書推薦： 《 东京札记 》 售價：NT$ 704.0 《 大学问·明代国家权力结构及运行机制 》 售價：NT$ 649.0 《 蹇蹇录：甲午战争外交秘录 》 售價：NT$ 270.0 《 佛教文化十八讲 》 售價：NT$ 418.0 《 背弃圣约：处于考验中的美国公民宗教（社会学名著译丛） 》 售價：NT$ 215.0 《 卖掉法拉利的高僧 》 售價：NT$ 324.0 《 次经导论 》 售價：NT$ 829.0 《 叔本华暮年之思 》 售價：NT$ 325.0

建議一齊購買： + NT$ 1394 《 GNSS与惯性及多传感器组合导航系统原理（第二版） 》 + NT$ 330 《 卡尔曼滤波原理及应用——MATLAB仿真 》 + NT$ 765 《 实用电子元器件与电路基础（第3版） 》 + NT$ 911 《 功率半导体器件——原理、特性和可靠性 》 + NT$ 419 《 零起点学开关电源设计——基础篇 》 內容簡介： 《信息安全系列丛书·密码协议：基于可信任新鲜性的安全性分析》主要介绍如何利用系统工程思想和可信任新鲜性的方法，分析和设计密码协议。作者基于可信任的新鲜性标识符概念，提出了一个新颖的新鲜性原则。该原则指出了一种有效的、易用的密码协议安全性分析方法。使用这种分析方法，可以有效检验协议在实际应用中能否满足安全需求。此外，书中给出大量的分析实例，详细图解了如何基于概率定义安全性，如何将安全指标定量化，如何针对具体的协议寻找漏洞，如何自动实现协议漏洞的查找，等等。 關於作者： 董玲，网络系统建设和信息安全领域高级工程师，上海交通大学密码与信息安全实验宰兼职教授，研究兴趣是信息安全和应用密码学，特别是实际应用的密码通信协议和密码系统的安全性分析。 陈克非，上海交通大学计算机科学与工程系教授，长期从事密码与信息安全理论研究，主要研究兴趣是序列密码、可证明安全、密码协议分析、数据安全。近年来承担多项国家自然利学基令、国家高技术发展计划（863计划）项目，发表学术论文150多篇，编辑出版学术著作7部。 目錄： 第1章 密码协议概述 　1.1 信息安全与加密 　1.2 密码协议的分类 1.2.1 身份认证协议 1.2.2 密钥建立协议 1.2.3 电子商务协议 1.2.4 安全多方协议 　1.3 密码协议的安全 　1.4 本书的动机 　参考文献 第2章 密码协议背景知识 　2.1 预备知识 2.1.1 函数 2.1.2 术语 　2.2 密码学基础 2.2.1 密码概念 2.2.2 对称密钥加密 2.2.3 公钥加密 2.2.4 数字签名 2.2.5 哈希函数 2.2.6 消息认证 　2.3 密码协议 2.3.1 安全信道 2.3.2 主体 2.3.3 时变参数 2.3.4 挑战和响应 2.3.5 密码协议的其它分类 　2.4 密码协议的安全性 2.4.1 针对基础密码算法的攻击 2.4.2 针对协议的攻击 2.4.3 协议的安全性 2.4.4 协议安全的分析方法 　2.5 通信威胁模型 2.5.1 Dolev-Yao威胁模型 2.5.2 协议环境的假设 2.5.3 密码协议表达方式 　参考文献 第3章 密码协议安全设计的工程原则 　3.1 工程原则介绍 3.1.1 谨慎工程原则 3.1.2 密码协议工程原则 　3.2 协议工程需求分析原则 3.2.1 安全需求分析原则 3.2.2 明文需求分析原则 3.2.3 应用环境分析原则 3.2.4 攻击者模型及攻击者能力分析原则 3.2.5 密码服务需求分析原则 　3.3 密码协议工程的详细协议设计原则 3.3.1 主体通信的真实性原则 3.3.2 新鲜性标识符的新鲜性和生成者认证原则 3.3.3 消息的数据完整性保护原则 3.3.4 逐步细化的设计原则 　3.4 密码协议工程的安全性证明原则 　参考文献 第4章 密码协议的非形式化分析方法 　4.1 密码协议安全性 4.1.1 在计算模型下的认证性和保密性 4.1.2 安全性定义 　4.2 基于可信任新鲜性的安全机制 4.2.1 概念 4.2.2 新鲜性原则 4.2.3 认证协议的安全性 4.2.4 基于可信任新鲜性的分析方法 4.2.5 基于可信任新鲜性的安全性分析应用 …… 第5章 实际使用的网络协议安全分析 第6章 密码协议安全性的保证 第7章 协议安全的形式化分析 第8章 基于可信任新鲜性的密码协议设计 第9章 基于可信任新鲜性的密码协议自动化分析 索引

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	香港用户　 |　台灣用户　|　海外用户
megBook.com.tw
Copyright (C) 2013 - 2024 （香港）大書城有限公司　All Rights Reserved.