-
公开(公告)号：CN114756453B
公开(公告)日：2024-10-22
申请号：CN202210298689.5
申请日：2022-03-22
Applicant: 华东师范大学
Abstract: 本申请提供了一种机载软件中目标代码到源代码的验证分析方法及存储介质，具体的，根据第一目标代码通过反汇编得到第一汇编代码，根据第一汇编代码进行反编译得到第一C代码；将第一C代码与源代码进行对比，得到源代码变量名之间的对应关系；根据对应关系，结合第一汇编代码，得到源代码变量名与汇编代码的指令中逻辑地址的关系映射表；根据第二目标代码通过反汇编得到第二汇编代码；根据关系映射表对汇编代码进行反编译，得到第二C代码；将第二C代码与源代码进行对比，得到第一验证结果。本申请解决了IDA Pro不能对COFF格式文件进行反编译的缺陷，提供了新的可执行目标代码到源代码可追溯性验证思路。
-
公开(公告)号：CN114756453A
公开(公告)日：2022-07-15
申请号：CN202210298689.5
申请日：2022-03-22
Applicant: 华东师范大学
Abstract: 本申请提供了一种机载软件中目标代码到源代码的验证分析方法及存储介质，具体的，根据第一目标代码通过反汇编得到第一汇编代码，根据第一汇编代码进行反编译得到第一C代码；将第一C代码与源代码进行对比，得到源代码变量名之间的对应关系；根据对应关系，结合第一汇编代码，得到源代码变量名与汇编代码的指令中逻辑地址的关系映射表；根据第二目标代码通过反汇编得到第二汇编代码；根据关系映射表对汇编代码进行反编译，得到第二C代码；将第二C代码与源代码进行对比，得到第一验证结果。本申请解决了IDA Pro不能对COFF格式文件进行反编译的缺陷，提供了新的可执行目标代码到源代码可追溯性验证思路。
-
公开(公告)号：CN113553581A
公开(公告)日：2021-10-26
申请号：CN202110785175.8
申请日：2021-07-12
Applicant: 华东师范大学
Abstract: 本发明公开了一种针对非平衡数据的入侵检测系统，包括获取模块，代码读取模块，分类模块，上采样模块，以及入侵检测模块，上述系统，在数据集构建中，通过对数据进行重采样，消除部分类别的不平衡，另外在入侵检测模型上进一步削减不平衡数据分类的难度，可以有效解决入侵检测系统中针对不平衡数据检测的问题，并能进一步提高保障系统安全的能力，做到高效智能。
-
公开(公告)号：CN113553247A
公开(公告)日：2021-10-26
申请号：CN202110786705.0
申请日：2021-07-12
Applicant: 华东师范大学
Abstract: 本申请实施例中提供了一种面向计算平台的系统评估方法，通过根据计算机的非形式化描述语言转化得到符号逻辑的等价公式；然后，根据符号逻辑的等价公式构建得到霍尔三元组模型；最后，根据霍尔三元组模型进行自动路径测试，得到模型部分正确性结果；最后，根据霍尔三元组模型分析系统程序终止性，得到模型完全正确性结果。本申请将系统程序验证问题转化为逻辑推理问题，解决了现有技术的传统评估系统检测技术需要依赖人工逐句对系统进行验证造成的评估结果不准确的问题。
-
公开(公告)号：CN103951649B
公开(公告)日：2017-12-22
申请号：CN201410164011.3
申请日：2014-04-22
Applicant: 华东师范大学
IPC: C07D333/28 , C07D409/04 , C07D409/12 , C07D213/61 , C07D307/56 , A61K31/381 , A61K31/341 , A61K31/44 , A61K31/4436 , A61K31/506 , A61P35/00 , A61P35/02
Abstract: 本发明公开了一种式(I)所示的杂环取代异羟肟酸类芳香酰胺化合物及其药学上可接受的盐，以及其作为新型的羟肟酸类组蛋白去乙酰化酶抑制剂的应用。本发明还公开了含有本发明式(I)化合物或其药物组合物在制备预防和／或治疗由于组蛋白乙酰化失调引起的疾病的药物中的用途、以及其在制备治疗各种恶性肿瘤生长、转移和复发等疾病的药物中的应用。
-
Patent Agency Ranking
公开(公告)号：CN114741278A
公开(公告)日：2022-07-12
申请号：CN202210283082.X
申请日：2022-03-22
Applicant: 华东师范大学
IPC: G06F11/36
Abstract: 本申请提供了一种机载软件中目标代码到源代码的验证分析系统，具体的，第一代码模块根据第一目标代码通过反汇编得到第一汇编代码，根据第一汇编代码进行反编译得到第一C代码；关系映射模块将第一C代码与源代码进行对比，得到源代码变量名之间的对应关系；根据对应关系，结合第一汇编代码，得到源代码变量名与汇编代码的指令中逻辑地址的关系映射表；第二代码模块根据第二目标代码通过反汇编得到第二汇编代码；根据关系映射表对汇编代码进行反编译，得到第二C代码；第一验证分析模块将第二C代码与源代码进行对比，得到第一验证结果。本申请解决了IDA Pro不能对COFF格式文件进行反编译的缺陷，提供了新的可执行目标代码到源代码可追溯性验证思路。
-
公开(公告)号：CN114741278B
公开(公告)日：2024-10-22
申请号：CN202210283082.X
申请日：2022-03-22
Applicant: 华东师范大学
IPC: G06F11/36
Abstract: 本申请提供了一种机载软件中目标代码到源代码的验证分析系统，具体的，第一代码模块根据第一目标代码通过反汇编得到第一汇编代码，根据第一汇编代码进行反编译得到第一C代码；关系映射模块将第一C代码与源代码进行对比，得到源代码变量名之间的对应关系；根据对应关系，结合第一汇编代码，得到源代码变量名与汇编代码的指令中逻辑地址的关系映射表；第二代码模块根据第二目标代码通过反汇编得到第二汇编代码；根据关系映射表对汇编代码进行反编译，得到第二C代码；第一验证分析模块将第二C代码与源代码进行对比，得到第一验证结果。本申请解决了IDA Pro不能对COFF格式文件进行反编译的缺陷，提供了新的可执行目标代码到源代码可追溯性验证思路。
-
公开(公告)号：CN114741699A
公开(公告)日：2022-07-12
申请号：CN202210238982.2
申请日：2022-03-07
Applicant: 华东师范大学
IPC: G06F21/57
Abstract: 本发明公开了一种结合自注意力机制的模糊测试漏洞挖掘系统，包括数据捕获模块，数据预处理模块，模型搭建模块，模型训练模块，以及模糊测试数据生成模块，上述系统，通过对大量通信数据模式的挖掘，可以获得一个特定的生成模型来生成类似的工控系统通信数据，将生成的数据发送到待测试的工控系统，并记录系统产生的异常行为进而来发现工控系统的漏洞，并且不需要利用协议规范，解决了传统的网络协议模糊测试方法严重依赖于协议规范的问题。提前发现潜在的威胁并进行修补，对保障国家基础设施安全，制造业安全，人民安全都具有重要现实意义。
-
公开(公告)号：CN114741123A
公开(公告)日：2022-07-12
申请号：CN202210129476.X
申请日：2022-02-11
Applicant: 华东师范大学
Abstract: 本发明公开了一种机载软件形式化验证系统，系统包括：需求验证结果生成模块、源代码验证结果生成模块、目标代码验证结果生成模块、验证通过模块。因此，采用本申请实施例，由于本申请将机载软件的验证活动分为需求与设计、源代码和可执行目标代码三个阶段，并针对每个阶段的验证活动，结合DO‑333中定义的验证目标，提出了形式化分析与验证的方法论进行验证，从而提升了机载软件的安全性。
-
公开(公告)号：CN114721734A
公开(公告)日：2022-07-08
申请号：CN202210130444.1
申请日：2022-02-11
Applicant: 华东师范大学
IPC: G06F9/445
Abstract: 本发明公开了一种机载软件形式化验证方法，方法包括：对机载软件的需求与设计阶段进行验证，生成初始验证结果；对机载软件的源代码阶段进行验证，生成源代码验证结果；对机载软件的可执行目标代码阶段进行验证，生成目标代码验证结果；当初始验证结果、源代码验证结果以及目标代码验证结果全部符合预设数值时，确定机载软件验证通过。因此，采用本申请实施例，由于本申请将机载软件的验证活动分为需求与设计、源代码和可执行目标代码三个阶段，并针对每个阶段的验证活动，结合DO‑333中定义的验证目标，提出了形式化分析与验证的方法论进行验证，从而提升了机载软件的安全性。
-
-
-
-
-
-
-
-
-
Search Results
18
records
(took 0.024 seconds)
