大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 密码协议 mi ma xie yi : 基于可信任新鲜性的安全性分析 : security analysis based on trusted freshness
名称 密码协议 mi ma xie yi : 基于可信任新鲜性的安全性分析 : security analysis based on trusted freshness
索引号
分类号
(| 08 环境公报)
作者 董玲 dong ling 著、陈克非 chen ke fei 著、
出版社 北京 : 高等教育出版社, 2012.11
ISBN 978-7-04-036250-3
页数 11,344页 ; 24cm
价格 精装
标签
简介
注解 国家科学技术学术著作出版基金资助出版 本书的着眼是密码协议安全性分析,首先引入可信任新鲜性的概念,在此基础上提出了协议安全性分析的新鲜性原则以及一种基于新鲜性原则的协议安全分析方法——信任多集形式化方法。具体内容包括:密码协议概述、密码协议背景知识、密码协议安全设计的工程原则等。 本书适用于通信协议安全性研究人员
书籍简介

《密码协议:基于可信任新鲜性的安全性分析》主要介绍如何利用系统工程思想和可信任新鲜性的方法,分析和设计密码协议。作老基于可信任的新鲜性标识符概念,提出了一个新颖的新鲜性原则。该原则指出了一种有效的、易用的密码协议安全性分析方法。使用这种分析方法,可以有效检验协议在实际应用中能否满足安全需求。