基于偏序归约的安全协议状态空间约简技术研究



基于偏序归约的安全协议状态空间约简技术研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→一般性问题论文→安全保密论文

基于偏序归约的安全协议状态空间约简技术研究

论文目录
表目录	第1-8页
图目录	第8-9页
摘要	第9-10页
ABSTRACT	第10-11页
第一章绪论	第11-16页
· 研究背景	第11页
· 状态空间约简技术的研究现状	第11-13页
· 符号模型检测技术	第12页
· 有界模型检测技术	第12页
· 抽象模型检测技术	第12-13页
· 偏序归约技术	第13页
· 安全协议分析中的偏序归约技术现状和不足	第13-14页
· 论文主要工作	第14-15页
· 论文结构安排	第15-16页
第二章预备知识	第16-24页
· 动作的独立性	第16-21页
· 迁移系统基本概念	第16-17页
· 迹等价基本概念	第17-19页
· 动作序列改变	第19-21页
· 符号化状态	第21-23页
· 协议状态及转换规则	第21-22页
· 符号化状态	第22-23页
· 小结	第23-24页
第三章一种诚实会话中的逆序约简算法	第24-33页
· 偏序归约技术	第24-25页
· NSPK 协议	第25-26页
· 逆序现象分析	第26-28页
· 安全协议状态树的生成	第26-27页
· 逆序现象	第27-28页
· 诚实会话中的逆序约简算法	第28-30页
· 算法思想	第28-29页
· 算法描述	第29-30页
· 实验结果	第30-32页
· 性能分析	第31-32页
· 验证效果分析	第32页
· 小结	第32-33页
第四章一种迹等价迁移的冗余后继约简算法	第33-41页
· 冗余后继结点	第33-35页
· 状态树中的冗余后继结点	第33-34页
· 符号化状态空间中的冗余后继结点	第34-35页
· 迹等价迁移的冗余后继约简算法	第35-38页
· 算法思想	第35-37页
· 算法描述	第37-38页
· 实验结果	第38-40页
· 性能分析	第38-39页
· 验证效果分析	第39-40页
· 小结	第40-41页
第五章一种束动作迁移的偏序约简算法	第41-54页
· 基本概念	第41-43页
· 原有的束动作概念	第41-42页
· 束动作的基本概念	第42-43页
· 冗余后继结点	第43-46页
· 迹等价束动作迁移的冗余后继结点	第43-44页
· 三会话束动作的冗余后继结点	第44-46页
· 束动作迁移的偏序约简算法	第46-49页
· 算法思想	第46-48页
· 算法描述	第48-49页
· 实验结果	第49-52页
· 性能分析	第49-50页
· 验证效果分析	第50-51页
· 结果对比	第51-52页
· 小结	第52-54页
第六章安全协议形式化自动分析系统的改进	第54-60页
· 设计目标	第54页
· 系统结构	第54-55页
· 系统简介	第54页
· 核心算法调用关系	第54-55页
· 核心数据结构设计	第55-57页
· 事实的数据结构	第55-56页
· 符号化状态的数据结构	第56-57页
· 测试	第57-59页
· 性能测试	第57-58页
· 功能测试	第58-59页
· 小结	第59-60页
结束语	第60-62页
1.全文总结	第60页
2.下一步工作展望	第60-62页
参考文献	第62-66页
作者简历作者攻读硕士学位期间完成的主要工作	第66-67页
致谢	第67页

本篇论文共67页，点击这进入下载页面。

更多论文
基于偏序归约的安全协议状态空间约
基于人工情感的远程交互技术研究
PCB图像伪影校正技术研究
基于工业锥束CT的体绘制技术研究
抗通用盲检测的图像隐写技术研究
两相图像分割凸模型的数值算法研究
面向SIMD的编译指导与条件分支的编
基于数据流管理的全时域网络数据监
反编译中控制流重构与控制结构恢复
自动向量化中的收益评估技术研究
X86架构I/O子系统仿真技术研究与设
可执行程序隐藏代码逆向分析技术研
汇编级程序辅助分析中的库函数识别
固件代码逆向分析关键技术研究
近邻传播聚类算法研究
小波域自适应图像滤波技术的研究
文件类型识别技术研究
基于程序属性的Java静态软件胎记技
基于关键路径覆盖的二进制程序测试
固件代码安全缺陷分析技术研究
自适应光学图像序列配准与复原算法
40Gbps业务识别系统中模式匹配算法
基于多核处理器的普适性报文捕获技
基于直觉模糊推理的网络舆情态势分
基于CBR理论的误用型网络入侵检测技
基于动态可信的软件使用控制模型研
基于个体行为博弈论分析的P2P网络信
基于多维安全评估的访问控制模型研
无线Mesh网中OLSR协议入侵检测技术
可信连接网络认证与评估协议研究
Web服务组合的调解技术研究与应用
基于FPGA的高性能模式匹配引擎研究
普适环境中的认证与密钥协商研究
安全U盘设计及其在多密级文件管理中
军事涉密网安全策略执行风险度量研
网络对抗下的DDoS防护体系模型研究
面向SOA多域协作环境的认证技术研究
多因素AKE协议的设计与证明
基于文本的信息隐藏算法的设计
面向等级保护的多级互联系统访问控
SOA架构下的强制访问控制研究与实现
基于信任的网格授权关键技术研究
基于多尺度的网络异常流量检测算法
基于带缓存交叉开关的公平调度算法
基于FPGA的多协议综合转换系统设计
Web资源识别与访问控制关键技术研究
面向等级保护的安全策略冲突检测与
隐写编码及其在图像隐写术中的应用
基于机器学习的P2P流量识别技术研究
基于逆向分析的Windows 7安全机制突
基于通信行为分析的木马检测技术研
邮件通联网络变化检测关键技术研究
基于数据融合的构件化分布式入侵检
改进型Rootkit的实现与检测技术研究
无人机遥感影像建筑物提取算法研究
面向SNMP的网络运行状态监测数据采
影像导航方法与实现
基于代码分割的隐写软件识别技术研
幽默在大学英语教学中应用的实证研
论字幕翻译应遵循的原则和策略
脑功能磁共振成像数据的相关性研究
遥感影像去雾技术研究
基于特征点的可见光遥感影像拼接技
遥感影像处理功能网络化集成技术研
遥感影像修补技术研究
无人机低空遥感数字影像自动拼接与
高光谱影像集成学习分类及后处理技
基于纹理特征的典型遥感影像面状地
遥感图像拼接缝消除算法研究
捷联惯性导航误差模型与初始对准技
测绘型无人机系统任务规划与数据处
航天器姿态解算及其半实物仿真技术
激光陀螺随机误差分析与处理
基于特征的无人机影像自动拼接技术
导航卫星快速定轨和预报方法研究
火星探测任务三维仿真关键技术研究
兵棋推演系统全球地理环境建模方法
空间目标交会期间碰撞概率研究
基于三维激光扫描仪的大型高温锻件
线划地图印刷质量自动检测算法研究
具有奇异退化的反应扩散方程组的定
带工作休假和中途退出的排队模型的

安全协议论文状态空间约简论文偏序归约论文逆序束动作论文
版权申明：目录由用户zhanggailan**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved