-
-
公开(公告)号：CN109143953B
公开(公告)日：2020-04-24
申请号：CN201810667508.5
申请日：2018-06-26
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
IPC: G05B19/05
Abstract: 本发明公开了一种基于中间语言的PLC程序验证方法，包括：中间语言转换、迁移系统构造、性质验证以及验证结果处理。其中，所述中间语言转换包括了对梯形图语言、功能块图语言或顺序功能图语言等图形类PLC语言的中间语言转换，结构化文本语言或指令表语言等文本类PLC语言的中间语言转换，以及PLC程序运行环境配置的中间语言转换，并获得统一的中间语言程序。本发明实现了通过统一的中间语言程序,对因在不同运行环境下而具有一种或多种编程语言的PLC程序及其PLC运行环境配置的多种性质验证工作，在提供了一个完整的PLC程序验证方案的同时，大大提高了对PLC程序的验证效率。
-
公开(公告)号：CN109062811A
公开(公告)日：2018-12-21
申请号：CN201811132209.8
申请日：2018-09-27
Applicant: 华东师范大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于神经风格迁移的网络协议测试用例生成方法，该方法包括：原始数据收集步骤、编码步骤、神经风格迁移步骤和逆向编码步骤。其中，原始数据收集步骤收集工控网络系统中的流量数据，并将收集到的数据用聚类算法进行分类；编码步骤将分类后的数据编码成为图片形式；神经风格迁移步骤将编码后输出的图片和风格图片作为输入，基于神经风格迁移方法进行神经风格转换，在转换过程中通过不断的训练迭代控制风格变换的程度；逆向编码步骤将神经风格变换步骤输出的二维图片转为一维的序列形式作为测试用例。该测试用例可以直接注入目标网络进行攻击测试。此方法可以智能的学习协议的格式，减少人为的学习过程，提高测试的效率。
-
公开(公告)号：CN108919672A
公开(公告)日：2018-11-30
申请号：CN201810770780.6
申请日：2018-07-13
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
IPC: G05B17/02
Abstract: 本发明公开了一种复杂工业控制系统的实现方法，属于工业控制技术领域。所述方法包括：定义系统与物理资源的约束关系；根据系统的各功能，建立对应的含有事件的各元模型；描述元模型中事件的触发条件及协同状态；当满足触发条件时，验证对应事件的协同状态及涉及的约束关系并反馈验证结果。本发明中，以事件驱动为基础进行系统功能的实现，避免了当前复杂工业控制系统的实现中模型转换带来的问题，并提升了系统性能；同时，在系统的实现前期，综合考虑资源的部署和高效利用，以及在系统的运行中结合形式化的系统验证，大大降低了仿真与测试的次数，无需反复调整编码，降低了人力、物力、财力的消耗，且提高了系统的可靠性和安全性。
-
公开(公告)号：CN109062811B
公开(公告)日：2020-10-02
申请号：CN201811132209.8
申请日：2018-09-27
Applicant: 华东师范大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于神经风格迁移的网络协议测试用例生成方法，该方法包括：原始数据收集步骤、编码步骤、神经风格迁移步骤和逆向编码步骤。其中，原始数据收集步骤收集工控网络系统中的流量数据，并将收集到的数据用聚类算法进行分类；编码步骤将分类后的数据编码成为图片形式；神经风格迁移步骤将编码后输出的图片和风格图片作为输入，基于神经风格迁移方法进行神经风格转换，在转换过程中通过不断的训练迭代控制风格变换的程度；逆向编码步骤将神经风格变换步骤输出的二维图片转为一维的序列形式作为测试用例。该测试用例可以直接注入目标网络进行攻击测试。此方法可以智能的学习协议的格式，减少人为的学习过程，提高测试的效率。
-
Patent Agency Ranking
公开(公告)号：CN111240982A
公开(公告)日：2020-06-05
申请号：CN202010035928.9
申请日：2020-01-09
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种源代码静态分析方法，包括：对源代码进行词法分析和语法分析，生成抽象语法树；对所述抽象语法树进行语义分析，得到有向控制流图和数据流图；对所述有向控制流图进行遍历，获取切片数据；根据所述数据流图和所述切片数据，查找并输出所述源代码中可能存在缺陷的变量。本申请提供的源代码静态分析方法，可以完成对源代码的较全面的检查，可以解决星载软件中的编码缺陷问题，不仅提高了检查效率，降低了人力成本，而且能够有效地提高软件源代码的安全性、可靠性，降低了程序错误发生的几率，能够很好地满足实际应用的需要。
-
公开(公告)号：CN109143952A
公开(公告)日：2019-01-04
申请号：CN201810609281.9
申请日：2018-06-13
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
IPC: G05B19/05
Abstract: 本发明提供一种可编程逻辑控制器编程语言转换系统，包括：抽象语法树转换模块、梯形图转换模块、功能块图转换模块、顺序功能表图转换模块、结构化文本转换模块、指令表转换模块、ICIL中间结构转换模块。本发明提出的可编程逻辑控制器编程语言转换系统能够实现IEC 61131‑3语言的统一转换，在不同厂商的PLC产品上进行开发和移植过程中，不必分别针对每种PLC语言编写相应的移植代码，且有利于后续深入开展基于该中间语言的形式化建模、分析及验证工作。
-
公开(公告)号：CN109032056A
公开(公告)日：2018-12-18
申请号：CN201810609274.9
申请日：2018-06-13
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
IPC: G05B19/05
Abstract: 本发明提供一种可编程逻辑控制器编程语言转换方法，包括：抽象语法树转换步骤、梯形图转换步骤、功能块图转换步骤、顺序功能表图转换步骤、结构化文本转换步骤、指令表转换步骤、ICIL中间结构转换步骤。本发明提出的可编程逻辑控制器编程语言转换方法能够实现IEC 61131‑3语言的统一转换，在不同厂商的PLC产品上进行开发和移植过程中，不必分别针对每种PLC语言编写相应的移植代码，且有利于后续深入开展基于该中间语言的形式化建模、分析及验证工作。
-
公开(公告)号：CN108984163A
公开(公告)日：2018-12-11
申请号：CN201810772287.8
申请日：2018-07-13
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
Abstract: 一种基于IMCL模型的异构式多平台代码生成方法，包括，采用IMCL语言，对目标系统的功能进行刻画，获得目标系统的功能模型；采用形式化方法，对所述功能模型进行分解，获得对应所述目标系统中的一个或多个平台的一个或多个平台模型；将所述一个或多个平台模型映射到对应的平台，从而对所述平台模型进行细节补充；在抽象语法树的基础上，根据所述一个或多个平台的特点，设计对应的转换规则，从而将所述一个或多个平台模型转化为对应的平台代码。本发明解决了现有技术难以同时对多平台代码进行生成的问题，将功能模型分解用以目标平台代码的自动生成，并通过程序切片方法以及基于形式化系统依赖图的分解方法保证了功能和功能间的约束关系的不变性。
-
公开(公告)号：CN114741699A
公开(公告)日：2022-07-12
申请号：CN202210238982.2
申请日：2022-03-07
Applicant: 华东师范大学
IPC: G06F21/57
Abstract: 本发明公开了一种结合自注意力机制的模糊测试漏洞挖掘系统，包括数据捕获模块，数据预处理模块，模型搭建模块，模型训练模块，以及模糊测试数据生成模块，上述系统，通过对大量通信数据模式的挖掘，可以获得一个特定的生成模型来生成类似的工控系统通信数据，将生成的数据发送到待测试的工控系统，并记录系统产生的异常行为进而来发现工控系统的漏洞，并且不需要利用协议规范，解决了传统的网络协议模糊测试方法严重依赖于协议规范的问题。提前发现潜在的威胁并进行修补，对保障国家基础设施安全，制造业安全，人民安全都具有重要现实意义。
-
-
-
-
-
-
-
-
-
Search Results
37
records
(took 0.022 seconds)
