- 商品参数
-
- 作者:
陈小娟、邓辉文著
- 出版社:清华大学出版社
- 出版时间:2023-12-01 00:00:00
- 版次:1
- 印次:1
- 印刷时间:2023-12-01
- 页数:0
- 开本:其他
- 装帧:平装
- ISBN:9787302633389
- 国别/地区:中国
- 版权提供:清华大学出版社
本书介绍了基于认知逻辑的密码协议分析。从密码协议的逻辑分析讲起,介绍密码学的基础知识、认知逻辑基础理论,到用认知中的行为、行为模型以及时态认知逻辑分析具体的密码协议,以具体实例阐述了用动态认知逻辑的理论来分析密码协议的安全性。本书内容的编排由浅入深层层展开,适合各层次的读者参阅,可为密码协议分析和网络安全提供一定的理论与技术支撑。
本书可供相关专业的教师、科研人员或工程技术人员参考,也可供高等院校计算机科学与技术、网络空间安全、通信工程以及逻辑学等专业高年级本科生和研究生学习使用。