正版刚密码协议:基于可信任新鲜性的安全性分析(英文版)9787040313314董玲,陈克-so88
正版刚密码协议:基于可信任新鲜性的安全性分析(英文版)9787040313314董玲,陈克 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
董玲,陈克非 著
店铺: 温文尔雅图书专营店 出版社: 高等教育出版社 ISBN:9787040313314 商品编码:29758977069 包装:精装 出版时间:2011-10-01
【拍前必读】:
本店销售的书籍品相可能因为存放时间长短关系会有成色不等,请放心选购。
付款后,不缺货的情况下,48小时内发货,如有缺货的情况下,我们会及时在聊天窗口给您留言告知。
发货地北京,一般情况下发货后同城次日可以到达,省外具体以快递公司运输为准。
望每位读者在收货的时候要验货,有什么意外可以拒签,这是对您们权益的保护。
注意:节假日全体放假,请自助下单;如需帮助请及时与我们联系。祝您购物愉快!商家热线:010-57272736
基本信息
书名:密码协议:基于可信任新鲜性的安全性分析(英文版)
定价:48.00元
作者:董玲,陈克非
出版社:高等教育出版社
出版日期:2011-10-01
ISBN:9787040313314
字数:
页码:373
版次:1
装帧:精装
开本:16开
商品重量:0.763kg
编辑推荐
内容提要
《密码协议:基于可信任新鲜性的安全性分析(英文版)》主要介绍如何利用系统工程思想和可信任新鲜性的方法,分析和设计密码通信协议。作者基于可信任的新鲜性标识符概念,提出了一个新颖的新鲜性原则。该原则指出了一种有效的、易用的密码协议安全性分析方法。使用这种分析方法,可以有效检验协议在实际应用中能否满足安全需要。此外,书中给出大量的分析实0例,详细说明如何基于概率定义安全性,如何将安全指标定量化,如何针对具体的协议寻找漏洞,如何自动实现协议漏洞的查找,等等。
《密码协议:基于可信任新鲜性的安全性分析(英文版)》总结了作者近年来的研究成果,这些成果的有效性和易用性对从事通信协议安全性研究的人员,特别是工程技术人员,具有很好的参考和实用价值。董玲网络系统建设和信息安全领域高级工程师,上海交通大学密码与信息安全实验室教授、研究兴趣是信息安全和应用密码学,特别是实际应用的密码通信协议和密码系统的安全性分析。陈克非上海交通大学计算机科学与工程系教授,长期从事密码与信息安全理论研究。主要研究兴趣是序列密码、可证明安全、密码协议分析、数据安全。近年来承担多项国家自然科学基金、国家高技术研究发展计划(863计划),发表学术论文150多篇,编辑出版学术著作7部。
目录
l Introductioof Cryptographic Protocols
1.1 Informatiosecurity and cryptography
1.2 Classes of cryptographic protocols
1.2.1 Authenticatioprotocol
1.2.2 Kev establishment protocol
1.2.3 Electronic merce protocol
1.2.4 Secure multi-party protocol
1.3 Security of cryptographic protocols
1.4 Motivations of this book
References
2 Background of Cryptographic Protocols
2.1 Preliminaries
2.1.1 Functions
2.1.2 Terminology
2.2 Cryptographic primitives
2.2.1 Cryptology
2.2.2 Symmetric-key encryption
2.2.3 Public-key encryption
2.2.4 Digital signatures
2.2.5 Hash Functions
2.2.6 Message authentication
2.3 Cryptographic protocols
2.3.1 Secure channel
2.3.2 Principals
2.3.3 Time-variant parameters
2.3.4 Challenge and response
2.3.5 Other classes of cryptographic protocols
2.4 Security of cryptographic protoco
2.4.1 Attacks oprimitives
2.4.2 Attacks oprotocols
2.4.3 Security of protocols
2.4.4 Analysis methods for protocol security
2.5 Communicatiothreat model
2.5.1 Dolev-Yao threat model
2.5.2 Assumptions ofprotoc01 environment
2.5.3 Expressions of cryptographic protocols
References
3 Engineering Principles for Security Desigof Protocols
3.1 Introductioof engineering principles
3.1.1 Prudent engineering principles
3.1.2 Cryptographic protocol engineering principles
3.2 Protocol engineering requirement analysis
3.2.1 Security requirement analysis
3.2.2 Plailltext analysis
3.2.3 Applicatioenvironment analysis
3.2.4 Attack model and adversary abilities analysis
3.2.5 Cryptographic service requirement analysis
3.3 Detailed protocol design
3.3.1 Liveness of the principal’S identity
3.3.2 neshness and associatioof time-variant parameter
3.3.3 Data integrity protectioof message
3.3.4 Stepwise refinement
3.4 Provable security References.
4 Informal Analysis Schemes of Cryptographic Protocols
4.1 The security of cryptographic protocols
4.1.1 Authenticity and confidentiality under putational model
4.1.2 Security definitions
4.2 Security mechanism based otrusted freshenss
4.2.1 Notions
4.2.2 Freshness principle
4.2.3 Security of authenticatioprotoc01
4.2.4 Manual analysis based otrusted freshness
4.2.5 Applicatioof security analysis based otrusted freshness
4.3 Analysis of classic attacks
4.3.1 Maithe middle attack
4.3.2 Source-substitutioattack
……
5 Security Analysis of Real World Protocols
6 Guarantee of Cryptographic Protocol Security
7 Formalism of Protocol Security Analysis
8 Desigof Cryptographic Protocols Based oTrusted
9 Automated Analysis of Cryptographic Protocols
Index
作者介绍
文摘
Over the ages,informatiowas typically stored and transmitted opaper,whereas much of it now resides omagic media and iS transmitted via puter works.As we all know.it iS much easier to copy and alterinformatiostored and transmitted electronically thathat opaper.Infor-matiosecurity intends to provide security services for informatioidigitalform·Informatiosecurity objectives include confidentiality,data integrity,authentication,non-repudiation,access control,availability,fairness and SO on·Computer and work security research and development foCUS othefirst four general security services,from which other security services,such as access control,and fairness cabe derivedwhich is well addressed.For strict 0r inquisitive readers,please refer to book 11 for detailed information.一Confidentiality is a service used to keep the content of informatiofrom aU but those authorized to have it.That is,the informatioia puter systeror transmitted informatiocannot be prehended by unau- thorized parties·Secrecy IS a term synonymous with confidentiality and privacy.
……
序言
正版刚密码协议:基于可信任新鲜性的安全性分析(英文版)9787040313314董玲,陈克 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 狡猾的发明 绝妙的机器 9787200107487
- 资本复活:新自由主义改革的根源
- 诡异的死亡地带 自然探秘系列 9787508292106
- 新建筑与流派
- 满58包邮 伴星共生 9787535795670 藤井旭 湖南科技出版社
- 建(构)筑物消防员(5级)
- 贪婪的狐狸-做最棒的自己双语绘本-汉英对照
- 从零开始学技术-建筑装饰装修工程系列:幕墙安装工
- 动物知道生命的答案 9787547239476 [美]泰德安德鲁斯、 仪玟兰-RT
- 供给侧改革:下一步怎么办
- 宇宙之美 9787559609410 [法]雅克保罗 [法]让-吕克罗贝尔-艾斯尔-RT
- 建筑施工常用规范重点条文解析与应用
- 满58包邮 未来架构师(上、下) 9787540783747 《未来架构师》节目组著 漓
- 建筑钢笔画技法与写生实例分析
- 托梅教授的植物图谱(上下) 【德】奥托·威廉·托梅(Otto Wilhelm Tho