登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書

『簡體書』密码协议分析的逻辑方法

書城自編碼： 2050957
分類：簡體書→大陸圖書→工業技術→電子/通信
作者： 雷新锋
國際書號(ISBN)： 9787030370969
出版社： 科学出版社
出版日期： 2013-03-01
版次： 1 印次： 1
頁數/字數： 381/480000
書度/開本： 16开 釘裝： 平装

售價：HK$ 259.7

我要買 件

 

** 我創建的書架 **
未登入.

新書推薦：
安全感是内心长出的盔甲
《 安全感是内心长出的盔甲 》
售價：HK$ 67.0
快人一步：系统性能提高之道
《 快人一步：系统性能提高之道 》
售價：HK$ 110.9
我们为什么会做梦：让梦不再神秘的新科学
《 我们为什么会做梦：让梦不再神秘的新科学 》
售價：HK$ 77.3
算法图解（第2版）
《 算法图解（第2版） 》
售價：HK$ 78.2
科学的奇幻之旅
《 科学的奇幻之旅 》
售價：HK$ 77.3
画艺循谱：晚明的画谱与消闲
《 画艺循谱：晚明的画谱与消闲 》
售價：HK$ 143.4
新民说·现实政治史：从马基雅维利到基辛格
《 新民说·现实政治史：从马基雅维利到基辛格 》
售價：HK$ 99.7
宽容是件奢侈品（人生360度·一分钟经典故事）
《 宽容是件奢侈品（人生360度·一分钟经典故事） 》
售價：HK$ 44.6

 
建議一齊購買：

+

HK$ 72.2
《爱上电子DIY（第1季）面包板入门电子制作》		 +

HK$ 127.7
《ADS射频电路设计与仿真学习笔记（配视频教程）（含DVD光盘》		 +

HK$ 169.0
《电子元器件检测与维修从入门到精通（全彩版）（DVD）（国内销》		 +

HK$ 87.9
《LED照明技术与灯具设计》		 +

HK$ 76.7
《光电子材料与器件》
編輯推薦：
《密码协议分析的逻辑方法》注重由浅入深，适合各层次读者参阅。全书从基础理论和基本概念入手，涵盖了主要的密码协议分析逻辑以及该领域的一些前沿理论，其中包括作者在密码协议分析的逻辑方面所做的工作。这些内容对于初学者有着重要的启发和引导作用，对于研究者具有一定的参考价值，对于密码协议的分析和设计人员具有重要的指导意义。本书由雷新锋，薛锐著。
內容簡介：
《密码协议分析的逻辑方法》对密码协议分析的逻辑方法进行了系统
详尽和深入的介绍，全书共四部分，第一部分是理论基础，第二部分是密 码协议分析概述，第三部分介绍密码协议逻辑，第四部分介绍计算可靠的
密码协议逻辑。
本书的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础
知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例 以及密码协议逻辑分析方法的计算可靠性等。内容涵盖了所有迄今为止重
要的密码协议分析逻辑系统，其中包括作者在密码协议分析方面的工作。
《密码协议分析的逻辑方法》的读者对象为信息安全专业高年级本科
生及研究生，也可供从事信息安全专业的教学、科研人员和工程技术人员 参考。本书由雷新锋，薛锐著。
目錄：
前言
第一部分 理论基础
第1章 数理逻辑基础
1.1 基本概念
1.2 命题逻辑
1.2.1 命题逻辑语法
1.2.2 命题逻辑语义
1.2.3 命题逻辑推演系统
1.2.4 命题逻辑的可靠性
1.3 谓词逻辑
1.3.1 谓词逻辑语法
1.3.2 谓词逻辑的语义
1.3.3 谓词逻辑推演系统
1.3.4 谓词逻辑的可靠性
1.4 模态逻辑
1.4.1 命题模态逻辑
1.4.2 谓词模态逻辑
1.4.3 知识逻辑与信念逻辑
1.5 Hoare逻辑
1.6 本章小结
参考文献
第2章 现代密码学基础
2.1 概述
2.1.1 加密方案
2.1.2 对加密方案的攻击
2.1.3 信息论安全
2.1.4 现代密码学
2.2 计算复杂性
2.2.1 图灵机
2.2.2 时间复杂性
2.2.3 P与NP
2.2.4 多项式时间归约
2.2.5 概率图灵机与BPP
2.3 计算安全
2.3.1 计算安全的概念
2.3.2 安全假设
2.3.3 几个安全相关概念
2.4 私钥加密
2.4.1 私钥加密方案
2.4.2 私钥加密方案的CPA安全
2.4.3 私钥加密方案的CCA安全
2.5 公钥加密
2.5.1 公钥加密方案
2.5.2 公钥加密方案的CPA安全
2.5.3 公钥加密方案的CCA安全
2.6 数字签名
2.6.1 数字签名方案
2.6.2 数字签名方案的安全性
2.7 安全性证明
2.7.1 概率多项式时间归约
2.7.2 混合论证
2.7.3 标准模型与随机应答器模型
2.8 本章小结
参考文献
第二部分 密码协议分析概述
第3章 密码协议
3.1 密码协议的概念与意义
3.2 密码协议的属性与分类
3.3 对密码协议的攻击
3.4 密码协议的表示法
……
第4章 密码协议分析
第三部分 密码协议逻辑
第5章 BAN逻辑
第6章 BAN逻辑的扩展
第7章 类BAN逻辑的语义
第8章 BAN逻辑的进一步扩展
第9章 非单调逻辑
第10章 引入时间的协议逻辑
第11章 时间相关密码协议逻辑及其形式化语义
第12章 协议复合逻辑
第四部分 计算可靠的密码协议逻辑
第13章 AR逻辑
第14章 对AR逻辑的扩展
第15章 计算可靠的PCL
第16章 IK逻辑
第17章 计算不可区分逻辑
结束语
索引

 

 

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