-
公开(公告)号：CN115687158A
公开(公告)日：2023-02-03
申请号：CN202211689502.0
申请日：2022-12-28
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本申请实施例提供一种协议软件的测试方法及装置，包括：利用预设的变异算子选取模型选取变异算子链；其中，所述变异算子链包括多个变异算子；根据所述变异算子链对预设的种子文件进行变异，生成测试用例；在插桩的待测软件中执行所述测试用例，得到执行结果；根据所述执行结果更新所述变异算子选取模型用于选取变异算子链的参数。本申请能够生成有效准确的测试用例，提高协议软件的测试效率。
-
公开(公告)号：CN115659358A
公开(公告)日：2023-01-31
申请号：CN202211693514.0
申请日：2022-12-28
Applicant: 北京邮电大学
Abstract: 本申请实施例提供一种智能合约模糊测试方法及装置，包括：解析智能合约，获得函数及函数所读、写的状态变量；根据函数读、写状态变量的关系，构建以函数为节点，函数间读写状态变量的关系为边的合约控制流向图；基于合约控制流向图，构建交易序列池；对于交易序列池中的待测交易序列，通过变异生成待测交易序列中各函数的函数参数，并根据待测交易序列和函数参数生成测试用例；在插桩的智能合约中执行测试用例，得到执行结果；将执行结果与预设的漏洞规则进行匹配，根据匹配结果确定智能合约是否存在漏洞。本申请能够检测智能合约可能存在的漏洞，提高检测准确性。
-
公开(公告)号：CN113849498A
公开(公告)日：2021-12-28
申请号：CN202110950796.7
申请日：2021-08-18
Applicant: 北京邮电大学
IPC: G06F16/22 , G06F16/2458 , G06F16/29
Abstract: 本说明书一个或多个实施例提供一种索引构建及查询方法，包括根据空间数据集，构造四叉树结构；利用Z曲线对单元格内的空间数据进行数据降维处理，得到空间数据的空间数据表示；根据Z值对空间数据表示进行排序，并构建链表；基于链表进行数据分段处理，得到多个数据段；构建每个数据段的本地模型，根据各数据段的本地模型，确定单元格的查询模型。在构建的四叉树结构基础上，利用数据分段算法划分数据段，并构建查询模型，降低空间存储代价，提高检索性能，可以一次性的数据遍历快速构建索引，提高索引构建效率，适用于动态更新的空间数据集的动态索引构建。
-
公开(公告)号：CN117194218A
公开(公告)日：2023-12-08
申请号：CN202310927472.0
申请日：2023-07-26
Applicant: 北京邮电大学 , 北京微芯区块链与边缘计算研究院
Abstract: 本申请提供一种压力测试方法及相关设备，所述方法包括：获取区块链系统交易池的容量设置值；基于所述容量设置值计算得到交易池的消耗能力；基于所述容量设置值和所述消耗能力计算得到所述交易池压力调控的上限和压力调控的下限，并基于所述压力调控的上限和所述压力调控的下限控制对应线程的开关；每个所述线程发送固定数量的交易；响应于交易发送结束，获取交易的总数量；基于交易开始的时间、所有交易结束的时间和所述交易的总数量，计算得到压力测试参考值。本申请实施例通过动态计算交易池压力调控的上限和下限来控制发送的交易数量，进而能够对具有交易池的区块链系统进行更准确、高效的压力测试。
-
公开(公告)号：CN115618363B
公开(公告)日：2023-03-21
申请号：CN202211465657.6
申请日：2022-11-22
Applicant: 北京邮电大学
Abstract: 本申请提供一种漏洞路径的挖掘方法及相关设备。所述方法包括：遍历抽象语法树，得到摘要信息和调用节点；利用摘要信息，构建代码属性图；基于代码属性图，根据预定义超全局变量进行数据流回溯，标记用户输入节点，得到用户输入节点集；基于调用节点，与预设的攻击字典进行匹配，并根据代码属性图，进行数据流回溯，得到安全敏感调用节点集；基于用户输入节点集和所述安全敏感调用节点集中的每个安全敏感调用节点，根据代码属性图，进行数据流回溯，得到漏洞路径。本申请实施例通过回溯数据流检测位于函数或方法封装内的用户输入节点，提取并识别多种类型的从用户输入到安全敏感函数或方法调用的漏洞路径，有效保障了网络应用可用性和安全性。
-
Patent Agency Ranking
公开(公告)号：CN115659358B
公开(公告)日：2023-03-17
申请号：CN202211693514.0
申请日：2022-12-28
Applicant: 北京邮电大学
Abstract: 本申请实施例提供一种智能合约模糊测试方法及装置，包括：解析智能合约，获得函数及函数所读、写的状态变量；根据函数读、写状态变量的关系，构建以函数为节点，函数间读写状态变量的关系为边的合约控制流向图；基于合约控制流向图，构建交易序列池；对于交易序列池中的待测交易序列，通过变异生成待测交易序列中各函数的函数参数，并根据待测交易序列和函数参数生成测试用例；在插桩的智能合约中执行测试用例，得到执行结果；将执行结果与预设的漏洞规则进行匹配，根据匹配结果确定智能合约是否存在漏洞。本申请能够检测智能合约可能存在的漏洞，提高检测准确性。
-
公开(公告)号：CN115687158B
公开(公告)日：2023-03-10
申请号：CN202211689502.0
申请日：2022-12-28
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本申请实施例提供一种协议软件的测试方法及装置，包括：利用预设的变异算子选取模型选取变异算子链；其中，所述变异算子链包括多个变异算子；根据所述变异算子链对预设的种子文件进行变异，生成测试用例；在插桩的待测软件中执行所述测试用例，得到执行结果；根据所述执行结果更新所述变异算子选取模型用于选取变异算子链的参数。本申请能够生成有效准确的测试用例，提高协议软件的测试效率。
-
公开(公告)号：CN115688915A
公开(公告)日：2023-02-03
申请号：CN202211085668.1
申请日：2022-09-06
Applicant: 北京邮电大学
IPC: G06N3/094 , G06F16/35 , G06F40/30 , G06F40/289 , G06N3/04
Abstract: 本申请提供的一种对抗样本生成方法、装置、电子设备及存储介质，包括：获取样本数据，将样本数据作为初始数据，基于语义分类器计算初始数据中的每个单词的重要性得分，基于重要性得分对单词进行排序；利用基于转换器的双向编码表征算法计算每个单词的同义词集合及每个同义词的语义得分；基于排序顺序选取一个单词为待替换单词，基于待替换单词的同义词集合及每个同义词的语义得分，计算待替换单词的每个同义词的攻击性得分；选取攻击性得分最高的同义词，在初始数据中替换待替换单词，生成待测试数据；判断待测试数据能否完成对样本数据的攻击行为，若是，则将待测试数据作为样本数据的对抗样本。
-
公开(公告)号：CN112257054B
公开(公告)日：2022-11-15
申请号：CN202011140562.8
申请日：2020-10-22
Applicant: 北京邮电大学
Abstract: 本说明书一个或多个实施例提供一种软件应用越权风险检测方法、电子设备及存储介质，能够对越权行为类的逻辑漏洞进行全面准确检测。所述方法包括：获取待检测软件程序的源代码并对其进行解析，确定权限验证相关代码与作用范围，生成权限‑范围映射表；根据所述权限‑范围映射表，对所述源代码进行权限验证逻辑插桩，生成插桩中间表示代码确定相应信息流图；利用所述信息流图进行越权风险路径检测，确定越权风险路径。所述电子设备，包括存储器、处理器及存储在存储器上并可在处理器上运行以实现所述越权风险检测方法的计算机程序。所述非暂态计算机可读存储介质存储计算机指令，所述计算机指令用于使所述计算机执行所述软件应用越权风险检测方法。
-
公开(公告)号：CN114579969B
公开(公告)日：2022-08-23
申请号：CN202210477950.8
申请日：2022-05-05
Applicant: 北京邮电大学
IPC: G06F21/56 , G06F21/57 , G06F16/2455
Abstract: 本申请提供一种漏洞检测方法、装置、电子设备及存储介质，所述方法包括：获取待检测文件的源代码，源代码对应的语法结构包括节点和节点信息；通过语法分析将所述源代码转化为对应的中间表示；根据中间表示对所述源代码中预先存储的敏感函数中的用户变量进行逆向回溯，得到回溯结果；基于中间表示对所述节点信息采用利用链方法进行查询，得到漏洞利用链；将回溯结果和所述漏洞利用链作为待检测文件的漏洞检测结果。根据源代码的中间表示对源代码采用逆向回溯的方法得到源代码中漏洞的具体位置，解决了当前已有方式无法进行漏洞代码定位的问题。并且通过节点信息的存储避免了扫描源代码带来的占用内存大和挖掘效率低的问题。
-
-
-
-
-
-
-
-
-
Search Results
72
records
(took 0.063 seconds)
