安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

安全协议操作语义与验证/(瑞士) Cas Cremers, (卢森堡) Sjouke Mauw著 吴汉炜译

出版发行项:

北京:电子工业出版社,2018

ISBN及定价:

978-7-121-35195-2/CNY59.00

载体形态项:

10, 137页:图;26cm

统一题名:

Operational semantics and verification of security protocols

丛编项:

经典译丛.网络空间安全

个人责任者:

克雷默斯 (Cremers, Cas) 著

个人责任者:

毛弗 (Mauw, Sjouke) 著

个人次要责任者:

吴汉炜 译

学科主题:

计算机网络-网络安全-通信协议-操作语义-验证

中图法分类号:

TP393.08

中图法分类号:

TP301.2

出版发行附注:

本书中文简体字版著有出版权由Springer Science+Bublishing Media, LLC授予电子工业出版社

责任者附注:

责任者Cremers规范汉译姓: 克雷默斯; 责任者Mauw规范汉译姓: 毛弗

责任者附注:

Cas Cremers, 牛津大学信息安全领域正教授, 2006年获得荷兰艾恩德霍芬科技大学博士学位。Sjouke Mauw, 博士, 工作于卢森堡大学计算机科学与通信研究所。

书目附注:

有书目 (第125-137页)

提要文摘附注:

安全协议作为信息安全的重要基础之一, 其安全属性能否达到设计者的初始目标成为一个重要研究内容, 关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖两部分: 用形式化的语义定义协议的执行规格和安全属性, 精确表示安全协议的安全属性; 综合运用各种形式化方法设计一个高效的验证算法, 在可接受的时间内验证安全属性。本书还探讨了多协议安全分析, 比较分析了各种验证理论和发展趋势。

豆瓣简介：