机读格式显示(MARC)

• 000 00728nam0 2200145 45

• 001 000363875

• 010 _ |a 978-7-302-63338-9 |b 精装 |d CNY99.00

• 200 __ |a 密码协议分析 |e 基于认知逻辑 |f 陈小娟, 邓辉文著

• 205 __

• 210 __ |a 北京 |c 清华大学出版社 |d 2023.12

• 215 __ |a 102页 |d 24cm

• 225 __

• 330 __ |a 本书介绍了基于认知逻辑的密码协议分析。从密码协议的逻辑分析讲起, 介绍密码学的基础知识、认知逻辑基础理论, 到用认知中的行为、行为模型以及时态认知逻辑分析具体的密码协议, 以具体实例阐述了用动态认知逻辑的理论来分析密码协议的安全性。本书内容的编排由浅入深层层展?

• 333 __ |a 本书可供相关专业的教师、科研人员或工程技术人员参考, 也可供高等院校计算机科学与技术、网络空间安全、通信工程以及逻辑学等专业高年级本科生和研究生学习使用

• 690 __ |a TN918.1