教育论文网

基于模型检验的信息物理融合系统安全性研究

硕士博士毕业论文站内搜索    
分类1:教育论文网→工业技术论文→自动化技术、计算机技术论文自动化技术及设备论文一般性问题论文设计、性能分析与综合论文
分类2:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文一般性问题论文安全保密论文
基于模型检验的信息物理融合系统安全性研究
论文目录
 
摘要第1-5页
Abstract第5-8页
第一章 绪论第8-12页
  · 研究背景第8-10页
  · 研究问题与目标第10页
  · 研究内容与论文结构第10-12页
第二章 相关工作第12-19页
  · 信息物理融合系统第12-16页
    · 信息物理融合系统特点第12-14页
    · 信息物理融合系统安全风险第14-15页
    · 信息物理融合系统验证第15-16页
  · 模型检验第16-18页
  · 本章小结第18-19页
第三章 信息物理融合系统的形式化安全性验证模型第19-27页
  · 引言第19页
  · 信息物理融合系统信息流第19-21页
    · 物理信息流与网络信息流第20-21页
    · 信息物理融合系统物理-网络信息流第21页
  · 系统安全性形式化验证模型设计第21-23页
    · 系统实体交互概念模型第22-23页
    · 系统形式化逻辑模型第23页
  · 系统安全性形式化规约第23-26页
  · 本章小结第26-27页
第四章 信息物理融合系统安全性验证方法第27-35页
  · 引言第27页
  · 信息物理融合系统安全性验证方法设计第27-31页
    · 针对一般性攻击的验证方法第27-29页
    · 利用信息流对保密性的验证方法第29-31页
  · 基于UPPAAL的信息物理融合系统安全性模型检验第31-34页
  · 本章小结第34-35页
第五章 基于模型检验的智能电网系统安全性验证与分析第35-54页
  · 引言第35-36页
  · 智能电网系统安全性分析第36-37页
  · 智能电网系统保密性模型检验第37-43页
    · 保密性模型构建第37-41页
    · 保密性验证与分析第41-43页
  · 智能电网DNP3协议安全性模型检验第43-52页
    · DNP3协议安全性模型构建第43-51页
    · DNP3协议安全性验证与分析第51-52页
  · 本章小结第52-54页
第六章 总结与展望第54-56页
  · 论文工作总结第54页
  · 进一步工作展望第54-56页
参考文献第56-59页
附录1 攻读硕士学位期间撰写的论文第59-60页
附录2 攻读硕士学位期间申请的专利第60-61页
附录3 攻读硕士学位期间参加的科研项目第61-62页
致谢第62页

本篇论文共62页,点击这进入下载页面
 
更多论文
基于模型检验的信息物理融合系统安
多摄像头网络中的目标检测与运动分
基于Hadoop的海量视频的分布式存储
面向大数据的聚类挖掘算法研究
基于特征间隙检测簇数的谱聚类算法
视线跟踪系统的研究与实现
基于机器学习分类算法的Android恶意
云计算中基于属性加密的访问控制方
基于权限提升的安卓平台恶意行为研
基于双目视差的测距系统研究与实现
软件更新信息系统的开发研究
推荐算法研究与应用
基于STAF和Python混合编程的自动化
Windows环境下虚拟化Android系统中
基于智能监控系统的图像质量增强算
基于Android平台的智慧农业信息采集
光照鲁棒的车牌识别系统的设计与实
地税局税控管理系统的设计与实现
基于加权光流特征和时空关联模型的
基于Android的家长与学校信息沟通软
基于轨迹关联的多目标跟踪
基于视频序列的特定行为检测研究
基于稀疏表示和聚类字典学习的人脸
利用离群点检测改进协同过滤推荐算
并行磁共振图像全变分恢复一阶算法
基于新型多标记集成学习方法的文本
基于改进型LBP和Floatboost的人脸检
双目视差测距中关键技术的研究与应
基于网络结构的病毒传播分析
企业用户停车服务管理信息系统设计
基于移动终端的农产品溯源系统
民防企业综合信息管理系统的研究与
基于大数据处理的用户健康信息服务
基于数据挖掘的用户个性化健康消费
MapReduce模型在Hadoop中的性能优化
全变分图像复原一阶对偶算法研究
基于改进Gabor滤波器的多模态特征融
基于改进的粒子群算法的图像分类技
基于多视图稀疏嵌入分析的识别算法
基于阿米西棱镜的高光谱成像系统研
基于迁移学习的视角无关行为识别研
视频监控下人群异常事件检测研究
云端融合计算环境中的数据销毁机制
档案智能管理系统的改进研究
电阻抗成像技术的图像重构算法研究
远程医疗监控系统中的关键技术研究
超大规模的短文本聚类研究
UHF频段RFID读写器的设计与实现
基于本体论的精细化数据分析
Hadoop安全机制研究
 
信息物理融合系统论文 模型检验论文 时间自动机论文 智能电网论文 DNP3论文
版权申明:目录由用户chengs**提供,www.51papers.com仅收录目录,作者需要删除这篇论文目录请点击这里
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved