MARC状态：订购 文献类型：中文图书 浏览次数：2
- 题名/责任者:
- 密码协议分析:基于认知逻辑/陈小娟, 邓辉文著
- 出版发行项:
- 北京:清华大学出版社,2023.12
- ISBN及定价:
- 978-7-302-63338-9 精装/CNY99.00
- 载体形态项:
- 102页;24cm
- 中图法分类号:
- TN918.1
- 提要文摘附注:
- 本书介绍了基于认知逻辑的密码协议分析。从密码协议的逻辑分析讲起, 介绍密码学的基础知识、认知逻辑基础理论, 到用认知中的行为、行为模型以及时态认知逻辑分析具体的密码协议, 以具体实例阐述了用动态认知逻辑的理论来分析密码协议的安全性。本书内容的编排由浅入深层层展?
- 使用对象附注:
- 本书可供相关专业的教师、科研人员或工程技术人员参考, 也可供高等院校计算机科学与技术、网络空间安全、通信工程以及逻辑学等专业高年级本科生和研究生学习使用
全部MARC细节信息>>