-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
安全协议形式化分析与验证 版权信息
- ISBN:9787030626332
- 条形码:9787030626332 ; 978-7-03-062633-2
- 装帧:平装胶订
- 册数:暂无
- 重量:暂无
- 所属分类:>
安全协议形式化分析与验证 本书特色
《安全协议形式化分析与验证》是作者多年从事安全协议形式化分析与验证相关科研工作的总结,主要对两种形式化方法做了归纳:基于SPIN工具的模型检测和事件逻辑。
《安全协议形式化分析与验证》主要内容如下:介绍了安全协议形式化分析的研究现状、主要技术流派,以及协议描述语言ProDL,阐述了基于算法知识逻辑的网络安全协议模型检测分析方法,用于显式地刻画入侵者模型能力;在网络安全协议验证模型生成系统中,采用偏序归约、语法重定序以及静态分析等优化策略,有效缓解模型检测过程中状态爆炸问题;对事件逻辑进行扩展,提出一系列规则,对安全协议进行形式化描述,无需显性刻画入侵者模型,只需分析协议动作之间的匹配顺序关系即可对协议的安全性进行证明。
安全协议形式化分析与验证 内容简介
本书内容主要包括以下部分: 安全协议形式化分析背景及研究现状。介绍了安全协议及形式化方法基本概念, 安全协议形式化分析研究发展历史和国内外研究现状。形式化方法基本理论。对模态逻辑、模型检测, 定理证明三类形式化方法进行了详细阐述和对比分析, 介绍了Murφ和Spin具有代表性的形式化分析工具。安全协议。介绍了安全协议的基本概念及分类, 从安全协议受攻击类型角度提出安全协议形式化分析的必要性。
安全协议形式化分析与验证 目录
- >
龙榆生:词曲概论/大家小书
龙榆生:词曲概论/大家小书
¥9.1¥24.0 - >
姑妈的宝刀
姑妈的宝刀
¥11.4¥30.0 - >
有舍有得是人生
有舍有得是人生
¥21.2¥45.0 - >
巴金-再思录
巴金-再思录
¥19.8¥46.0 - >
朝闻道
朝闻道
¥9.0¥23.8 - >
自卑与超越
自卑与超越
¥17.1¥39.8 - >
推拿
推拿
¥12.2¥32.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥15.9¥49.8
-
数学之美
¥48.3¥69 -
浪潮之巅-下册-第二版
¥22.1¥45 -
挑战程序设计竞赛(第2版)
¥55.3¥79 -
算法竞赛入门经典-(第2版)
¥34.9¥49.8 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑,闭眼,刀谁?
¥42.3¥158