西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

密码协议实现的逻辑安全分析与设计/吴福生, 李延斌著

出版发行项:

北京:中国铁道出版社有限公司,2022

ISBN及定价:

978-7-113-29091-7 精装/CNY79.00

载体形态项:

182页:图;26cm

并列正题名:

Logical security analysis and design of cryptographic protocol implementation

个人责任者:

吴福生 著

个人责任者:

李延斌 著

学科主题:

密码协议-研究

中图法分类号:

TN918.1

一般附注:

计算机网络安全

书目附注:

有书目

提要文摘附注:

本书主要探讨密码协议实现 (密码协议程序源代码) 时的逻辑安全性, 引入了逻辑推理与规则的安全证明, 在分析方面讨论了密码协议实现时的轨迹安全、快速判断密码协议实现时导致不安全原因、基于内容安全的密码协议代码实现模型分析和密码协议实现时的侧信道安全分析。在设计方面, 本书讨论了非签名认证的密钥协商协议设计和基于协议底层实现安全的密钥协商协议。所有的逻辑实现方案都通过源代码 (C语言和Socket通信编程) 进行实验分析, 实验结果符合预期要求。

豆瓣简介：