标签：建模 解析 科技 模型 科学研究 spl 攻击 过程控制 中国
1、对协议进行形式化建模
有色Petri网是一种融合协议为验证与性能分析的行为化分析理论。
通信协议的脆弱性造成工业控制系统的面临大量的威胁，另一方面，当前的工业以太网协议安全研究缺乏形式化安全分析方法，
师兄采用的方法， 建立协议的原始模型，安全性评估模型，分析协议存在的的漏洞，并基于密码学方法和可信计算理论对协议存在的安全罗东进行改进。
工业系统信息安全较传统的IT信息安全更加注重可用性格和可靠性的，
协议安全性评估的方法 基于协议模型的评估 基于异常的评估 基于聚类的分析 基于中间件
在协议入侵件测方面，现有的方法主要是基于协议数据包的深度解析，对数据格式和协议状态进行分析，主要分为开源协议的入侵检测和私有协议的入侵检测，对于私有协议的检测一般采用的入侵检测。
在基于协议安全性分析方面，主要有两类分析的方法，第一是形式化的分析方法，第二是攻击检测的方法（非形式化的方法）
工业控制系统包括了数据采集（SCADA）分布式控制系统（DCS）过程控制系统（PCS）等
Modbus/IP协议将Modbus帧嵌入到TCP包中。
论文查找 西安电子科技大马建峰 湘潭大学 段斌 北京科技大学 王沁 中国电力科学研究所余勇 浙江大学 冬芹 哈尔滨工业大学张云贵 东北大学姚羽
标签：建模 解析 科技 模型 科学研究 spl 攻击 过程控制 中国
原文地址：https://www.cnblogs.com/xinxianquan/p/9880021.html
