基于载荷特征与统计特征的Shodan流量识别

针对Shodan扫描流量对工业控制系统产生的不安全问题,结合载荷特征与统计特征,构建一种将确定性有限自动机(DFA)与支持向量机(SVM)相结合的流量识别DFA-SVM模型。通过分析应用层的流量特征,以提取协议功能码序列作为载荷特征,并结合传统的流量统计特征对流量进行识别。采用VPS部署6个分布式蜜罐系统对处理后的32522个样本进行Shodan流量识别。实验结果表明,相比仅使用单一特征的模型,该模型可有效识别出27个Shodan扫描器IP,识别精度达到99.38%。     

IPv6邻居发现协议的形式化验证

采用模型检查技术,对IPv6的邻居发现协议的属性进行了形式化验证.该协议的模型由目前广泛用于设计和描述通信协议的MSC(message sequence charts)来描述,并通过线性时序逻辑说明该协议的属性.还提出了由MSC模型的线性化自动抽取协议属性的方法.     

基于元胞自动机的深部采矿岩体变形仿真算法研究

本文总结了深部采矿岩体的特性，根据深部矿床岩体变形过程的离散性特点，给出基于元胞自动机的岩体非线性变形演化的算法，为地质灾害的预防提供科学的理论支持。     

基于摩尔近邻模型的二维元胞自动机在图像处理中的应用

元胞自动机是一种具有空间、时间和状态离散性的动力学系统。在简单介绍了元胞自动机基本原理的基础上,提出采用二维元胞自动机对图像做边缘检测以及对破坏图像做恢复的算法。通过与传统处理方法的结果比较,表明该算法具有处理速度快、质量较好、易于硬件集成等优点,是一种新颖实用的图像处理算法。     

铜在KCl溶液中电化学腐蚀过程的元胞自动机模拟研究

铜电极在KCl电解质溶液中的电化学腐蚀已有循环伏和红外光谱电化学研究，然而，腐蚀过程的动力学和机理还不十分清楚．本文以SCILAB自由软件编程的元胞自动机方法模拟了该腐蚀过程的动力学，与实验结果一致，结合红外光谱、量子化学计算结果，进一步在分子尺度上探讨铜在实验条件下的腐蚀过程的机理：腐蚀动力学曲线在较短时间（〈200...     

基于AC自动机匹配算法的入侵检测系统研究

基于特征的网络入侵检测系统性能与其所采用的匹配算法息息相关。本文对当前入侵检测系统中几种典型的匹配算法进行了分析，并指出了这些算法在入侵检测系统应用中存在的不足，同时，给出了完整的基于AC自动机匹配算法的入侵检测系统方案，理论分析和实验结果表明该系统能够实施快速高效的入侵检测。     

基于IF的实时系统验证

IF是一个对异步实时系统建模和验证的开放环境,建立在具有丰富表达能力,基于时间自动机的中间语言IF符号集之上。文章描述了IF的组成,包括其体系结构,所使用的符号集;然后给出了IF对实时系统验证的方法,并运用此验证方法对一个实时系统实例进行了验证。     

使用状态自动机的通信协议软件设计和实现方法

根据状态自动机模型得到的通信协议状态/事件表构成了协议的描述框架,并依据实现环境对其进行精细化后成为协议的实现框架,以便运用软件技术提供的方法和手段加以具体实现。该方法直观、完备,给协议软件调试和测试带来方便。