杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

安全协议设计与分析/张文政[等]编著

出版发行项:

北京:国防工业出版社,2015

ISBN及定价:

978-7-118-10339-7/CNY78.00

载体形态项:

22,202页;24cm

并列正题名:

Design and analysis of security protocols

丛编项:

网络与信息安全前沿技术丛书

个人责任者:

张文政 编著

学科主题:

计算机网络-安全技术-通信协议-研究

中图法分类号:

TP393.08

一般附注:

国防科技图书出版基金

题名责任附注:

编著者还有：王立斌、李益发、郑东、董新锋

提要文摘附注:

本书主要介绍安全协议设计准则与分析方法，其中包括安全协议研究背景和设计准则、逻辑化分析方法、串空间方法及可证明安全性方法等，同时给出了利用各种方法分析安全协议的具体实例。

豆瓣简介：