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

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

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

『簡體書』安全协议原理与验证

書城自編碼： 1812352
分類：簡體書→大陸圖書→工業技術→電子/通信
作者： 王聪
國際書號(ISBN)： 9787563526727
出版社： 北京邮电大学出版社有限公司
出版日期： 2011-08-01
版次： 1 印次： 1
頁數/字數： 303/433000
書度/開本： 16开 釘裝： 平装

售價：HK$ 106.2

我要買 件

share:

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

新書推薦：
无尽的海洋：美国海事探险与大众文化（1815—1860）
《 无尽的海洋：美国海事探险与大众文化（1815—1860） 》
售價：HK$ 102.4
治盗之道：清代盗律的古今之辨
《 治盗之道：清代盗律的古今之辨 》
售價：HK$ 125.4
甲骨文丛书·剑桥世界暴力史（第一卷）：史前和古代世界（套装全2册）
《 甲骨文丛书·剑桥世界暴力史（第一卷）：史前和古代世界（套装全2册） 》
售價：HK$ 210.6
甲骨文丛书·中华早期帝国：秦汉史的重估
《 甲骨文丛书·中华早期帝国：秦汉史的重估 》
售價：HK$ 300.2
欲望与家庭小说
《 欲望与家庭小说 》
售價：HK$ 101.2
惜华年（全两册）
《 惜华年（全两册） 》
售價：HK$ 72.2
甲骨文丛书·古代中国的军事文化
《 甲骨文丛书·古代中国的军事文化 》
售價：HK$ 99.7
中国王朝内争实录（套装全4册）：从未见过的王朝内争编著史
《 中国王朝内争实录（套装全4册）：从未见过的王朝内争编著史 》
售價：HK$ 250.7

 
建議一齊購買：

+

HK$ 132.0
《GNSS惯性导航组合（第3版）》		 +

HK$ 88.8
《微波射频器件和天线的精细设计与实现》		 +

HK$ 221.0
《数字信号处理——原理、算法与应用（第四版）》		 +

HK$ 257.4
《统计信号处理基础——估计与检测理论（卷I、卷II合集）》		 +

HK$ 203.6
《现代天线设计（第2版）》
編輯推薦：
本书内容包括三个部分：1.基础知识，包括安全协议基本原理介绍、安全性分析以及密码学基础；2.安全协议原理，包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议；3.安全协议的分析与验证方法，包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等。
內容簡介：
本书介绍安全协议及其验证方法，主要内容包括三个部分：1.基础知识，包括安全协议基本原理介绍、安全性分析以及密码学基础；2.安全协议原理，包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议；3.安全协议的分析与验证方法，包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等。
本书较为全面、深入地介绍了信息安全体系中的安全协议原理及安全协议的分析验证方法。内容安排由浅入深，重点突出，涵盖了当前安全协议研究领域的主要成果。

本书可作为高等院校信息安全、计算机、通信等专业高年级本科生和研究生教材，也可供从事相关专业的教学、科研和工程技术人员参考。
目錄：
第一部分 基础知识
　第1章 引言
　第2章 密码学基础
第二部分 安全协议原理
　第3章 安全协议概述
　第4章 认证与密钥交换协议
　第5章 电子商务协议
　第6章 实际使用中的的安全协议
第三部分 安全协议的分析、验证方法
　第7章 BAN逻辑
　第8章 BAN类逻辑
　第9章 Kailar逻辑
　第10章 时间相关安全协议分析
　第11章 串空间模型理论及协议分析方法
　第12章 安全协议的CSP分析方法
　第13章 其他安全协议分析验证方法
参考文献
內容試閱：
第一章　引 言

人类正在经历着自工业革命以来最为深刻的信息革命，在这场信息革命中，软件系统作为现代条件下信息处理及信息传输的重要手段起着举足轻重的作用。然而，软件系统也有其两面性：一方面，它有力地推动了我国的信息化进程，促进了我国国民经济的增长，推动着我国社会发展和文明进步，增强了我国经济、科技、军事实力；另一方面，软件系统的广泛应用也给国家安全、社会稳定和经济发展带来了许多新的安全威胁。因此，我们在发展软件系统的同时，必须对其安全性加以关注。
、

为了减轻由于系统遭受攻击所带来的危害，多种安全协议被设计开发出来提供安全保障。安全协议是以密码学为基础的协议，它在网络和分布式系统中提供各种各样的安全服务，在信息系统安全中占据重要地位。与其他各种类型的协议一样，“安全协议”由参与协议的主体，以及主体之间交换信息的事件组成。安全协议是构建安全网络环境的基石，它的正确性对于网络安全极其关键。然而由于安全协议的执行具有高度不确定性t以致有些安全协议往往不如它们的设计者所期望的那样安全，存在很多缺陷和漏洞，这些缺陷和漏洞可能来源于三个方面：①协议中采用的密码算法；②算法和协议中采用的密码技术；③协议自身的结构。因此，在互联网飞速发展的今天，软件安全机制，特别是安全协议的分析、研究就显得特别的重要。
1.1 安全协议的研究背景、基本概念
1.1.1安全协议的研究背景

IS0对信息安全的定义为：“为数据处理系统建立和采取的技术的和管理的安全保护，保护计算机硬件、软件、数据不因偶然的或恶意的原因而遭受破坏、更改、泄露。”该定义把信息安全的具体的内容分成以下部分：①运行系统的安全。……

 

 

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