| 开本：16开 |
| 纸张：胶版纸 |
| 包装：平装-胶订 |
| 是否套装：否 |
| 国际标准书号ISBN：9787563574896 |
| 所属分类：图书>计算机/网络>信息安全 |
正版图书保证质量 七天无理由让您购物无忧目 录
部分基础知识
章引言
协议的研究背景、基本概念
协议的研究背景
协议的基本概念
协议的属分析
秘密
认证
完整
不可否认
公平
原子
匿名
协议的形式化分析技术概述部分基础知识章引言协议的研究背景、基本概念协议的研究背景协议的基本概念协议的属分析秘密认证完整不可否认公平原子匿名协议的形式化分析技术概述协议形式化分析方法概述基于知识与信仰的逻辑推理方法基于代数模型的状态检验方法基于不变集的代数定理证明方法本书的结构章密码学基础密码学概述密码学的发展过程密码学的基本概念密码对称密钥密码代换密码数据加密标准加密标准公钥密码单向陷门函数 密码数字数字的基本概数字方案 数字哈希函数哈希函数的基本概念几种常用哈希函数介绍本章小结……部分协议原理三部分协议的分析、验证方法四部分协议前沿技术研究简介参考文献
显示全部信息
在线试读
章引言
人类正在经历着自工业以来为深刻的信息，在这场信息中软件系统作为现代条件下信息处理及信息传输的重要手段起着举足轻重的作用。然而软件系统也有其两面。一方面它有力地推动了我国的信息程了我国国民经济的增长，推动着我国社会发展和文步了我国经济、科技、军事实力另一方面软件系统的广泛应用也给国家、社会稳定和经济发展带来了许多新的威胁。因此我们在发展软件系统的同时，必须对其加以关注。
为了减轻由系统遭受攻击所带来的危害，多种协议被设计开发出来以提供保障，协议是以密码学为基础的协议，它在网络和分布式系统各种各样的服务，在信息系统中占据重要地位。与其他各种类型的协议一样，“协议”由参与协议的主体，以及主体之间交换信息的事件组成。协议是构建网络环境的基石，它的正确对于网络关键。然而由于协议的执行具有高度不确定，以致有此协议往往不如它们的设计者所期望的那样，存在很多缺陷和漏洞，这些缺陷和漏洞可能来源于三个方面①协议中采用的密码算法②算法和协议中采用的密码技术③协议自身的结构。因此，在互联网飞速发展的时代软件机制是对协议的分析、研究显得重要。
……
商品详情
图书基本信息
图书名称协议原理与验证聪 北京邮电大学出版社有限公司人天图书专营店作者王聪
定价出版社北京邮电大学出版社有限公司
出版日期
版次开本
部分基础知识
章引言
协议的研究背景、基本概念
协议的研究背景
协议的基本概念
协议的属分析
秘密
认证
完整
不可否认
公平
原子
匿名
协议的形式化分析技术概述部分基础知识章引言协议的研究背景、基本概念协议的研究背景协议的基本概念协议的属分析秘密认证完整不可否认公平原子匿名协议的形式化分析技术概述协议形式化分析方法概述基于知识与信仰的逻辑推理方法基于代数模型的状态检验方法基于不变集的代数定理证明方法本书的结构章密码学基础密码学概述密码学的发展过程密码学的基本概念密码对称密钥密码代换密码数据加密标准加密标准公钥密码单向陷门函数 密码数字数字的基本概数字方案 数字哈希函数哈希函数的基本概念几种常用哈希函数介绍本章小结……部分协议原理三部分协议的分析、验证方法四部分协议前沿技术研究简介参考文献
显示全部信息
在线试读
章引言
人类正在经历着自工业以来为深刻的信息，在这场信息中软件系统作为现代条件下信息处理及信息传输的重要手段起着举足轻重的作用。然而软件系统也有其两面。一方面它有力地推动了我国的信息程了我国国民经济的增长，推动着我国社会发展和文步了我国经济、科技、军事实力另一方面软件系统的广泛应用也给国家、社会稳定和经济发展带来了许多新的威胁。因此我们在发展软件系统的同时，必须对其加以关注。
为了减轻由系统遭受攻击所带来的危害，多种协议被设计开发出来以提供保障，协议是以密码学为基础的协议，它在网络和分布式系统各种各样的服务，在信息系统中占据重要地位。与其他各种类型的协议一样，“协议”由参与协议的主体，以及主体之间交换信息的事件组成。协议是构建网络环境的基石，它的正确对于网络关键。然而由于协议的执行具有高度不确定，以致有此协议往往不如它们的设计者所期望的那样，存在很多缺陷和漏洞，这些缺陷和漏洞可能来源于三个方面①协议中采用的密码算法②算法和协议中采用的密码技术③协议自身的结构。因此，在互联网飞速发展的时代软件机制是对协议的分析、研究显得重要。
……
商品详情
图书基本信息
图书名称协议原理与验证聪 北京邮电大学出版社有限公司人天图书专营店作者王聪
定价出版社北京邮电大学出版社有限公司
出版日期
版次开本