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

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

102页;24cm

其它题名:

基于认知逻辑

个人责任者:

陈小娟 著

个人责任者:

邓辉文 著

学科主题:

密码协议-研究

中图法分类号:

TN918.1

一般附注:

国家社科基金重点项目(21AZX013) 重庆市社会科学规划项目(2022BS016)

书目附注:

有书目 (第92-102页)

提要文摘附注:

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

豆瓣简介：