珠海科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

102页:图;24cm

其它题名:

基于认知逻辑

个人责任者:

陈小娟 著

个人责任者:

邓辉文 著

学科主题:

密码协议-研究

中图法分类号:

TN918.1

一般附注:

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

书目附注:

有书目 (第92-102页)

提要文摘附注:

本书介绍了基于认知逻辑的密码协议分析。从密码协议的逻辑分析讲起, 介绍密码学的基础知识、认知逻辑基础理论, 到用认知中的行为、行为模型以及时态认知逻辑分析具体的密码协议, 以具体实例阐述了用动态认知逻辑的理论来分析密码协议的安全性。本书内容的编排由浅入深层层展开, 适合各层次的读者参阅, 可为密码协议分析和网络安全提供一定的理论与技术支撑。

豆瓣简介：