ISBN/价格: | 978-7-302-63338-9:CNY99.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 密码协议分析/.陈小娟, 邓辉文著 |
出版发行项: | 北京:,清华大学出版社:,2023 |
载体形态项: | 102页:;+24cm |
一般附注: | 国家社科基金重点项目(21AZX013) 重庆市社会科学规划项目(2022BS016) |
提要文摘: | 本书介绍了基于认知逻辑的密码协议分析。从密码协议的逻辑分析讲起,介绍密码学的基础知识、认知逻辑基础理论,到用认知中的行为、行为模型以及时态认知逻辑分析具体的密码协议,以具体实例阐述了用动态认知逻辑的理论来分析密码协议的安全性。 |
题名主题: | 密码协议 研究 |
索书号: | TN918.1/C47 |
中图分类: | TN918.1 |
个人名称等同: | 陈小娟 著 |
个人名称等同: | 邓辉文 著 |
记录来源: | CN 浙江省新华书店集团公司 20240204 |