广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

密码协议分析:基于认知逻辑/陈小娟，邓辉文著

出版发行项:

北京:清华大学出版社,2023

ISBN及定价:

978-7-302-63338-9 精装/CNY99.00

载体形态项:

102页;23cm

个人责任者:

陈小娟 著

个人责任者:

邓辉文 著

学科主题:

密码协议-研究

中图法分类号:

TN918.1

提要文摘附注:

本书从密码协议的逻辑分析讲起，介绍密码学的基础知识、认知逻辑基础理论，到用认知中的行为、行为模型以及时态认知逻辑分析具体的密码协议，以具体实例阐述了用动态认知逻辑的理论来分析密码协议的安全性。

豆瓣简介：