-
公开(公告)号：CN115292172B
公开(公告)日：2023-03-10
申请号：CN202210917294.9
申请日：2022-08-01
Applicant: 哈尔滨工业大学
Abstract: 一种提高智能合约检测覆盖率的方法、电子设备及存储介质，属于以太坊智能合约安全技术领域。为解决现有智能合约检测工具分支覆盖率低的问题。本发明提取智能合约的字节码和ABI作为函数的输入参数；生成测试用例，然后执行智能合约的模糊测试，采用智能合约中特定指令作为污点源，识别函数的输入参数，将其标记为污点，并存储污点信息；定义污点的传播策略，对于执行智能合约的模糊测试过程中未覆盖的分支语句设为污点汇识别并记录语句中包含的污点信息，然后选择被突变的输入参数，固定其他输入参数不变，进行测试用例的突变，将得到的突变的测试用例集执行智能合约，进行模糊测试，直到达到预设的时间或满足所有的分支。本发明分支覆盖率高。
-
公开(公告)号：CN115292172A
公开(公告)日：2022-11-04
申请号：CN202210917294.9
申请日：2022-08-01
Applicant: 哈尔滨工业大学
Abstract: 一种提高智能合约检测覆盖率的方法、电子设备及存储介质，属于以太坊智能合约安全技术领域。为解决现有智能合约检测工具分支覆盖率低的问题。本发明提取智能合约的字节码和ABI作为函数的输入参数；生成测试用例，然后执行智能合约的模糊测试，采用智能合约中特定指令作为污点源，识别函数的输入参数，将其标记为污点，并存储污点信息；定义污点的传播策略，对于执行智能合约的模糊测试过程中未覆盖的分支语句设为污点汇识别并记录语句中包含的污点信息，然后选择被突变的输入参数，固定其他输入参数不变，进行测试用例的突变，将得到的突变的测试用例集执行智能合约，进行模糊测试，直到达到预设的时间或满足所有的分支。本发明分支覆盖率高。
-
公开(公告)号：CN115296886A
公开(公告)日：2022-11-04
申请号：CN202210921063.5
申请日：2022-08-02
Applicant: 哈尔滨工业大学
IPC: H04L9/40
Abstract: 联盟链DoS攻击检测与缓解方法、电子设备及存储介质，属于区块链安全技术领域。针对HyperledgerFabric当前实现存在的共识节点拓扑信息泄露问题。本发明根据HyperledgerFabric采用的共识协议，判断共识节点中的弱点节点；对判断的弱点节点，进行DoS攻击检测；对检测到DoS攻击的弱点节点，则将弱点节点的角色随机转移给其他共识节点；重复以上步骤，实现联盟链DoS攻击检测与缓解方法。本发明将计算和通信资源消耗作为衡量标准，通过主动切换领导者和追随者的角色来“逃避”或减轻攻击带来的影响，利用联盟链共识协议的“崩溃”容错能力缓解DoS攻击。
-
公开(公告)号：CN110413468A
公开(公告)日：2019-11-05
申请号：CN201910722052.2
申请日：2019-08-06
Applicant: 哈尔滨工业大学
IPC: G06F11/22 , G06F11/263
Abstract: 基于代码突变的FPG在线故障注入方法，涉及计算机应用技术领域，为解决现有技术中用户不能够自由选择自己关注的故障进行注入，以衡量目标系统的可靠性的问题，包括以下步骤：步骤一：首先扫描代码，对VHDL系统进行数学建模；步骤二：根据用户选择的故障注入位置，注入文件配置，对信号进行修改，生成注入单元；步骤三：根据用户的选择生成故障注入参数；步骤四：对步骤三中生成的故障注入参数进行解析，并写入参数寄存器中；步骤五：通过宿主机的控制，在FPGA目标系统运行时完成故障注入单元的激活。本发明通过故障注入推荐功能，有效的缩小了故障注入位置的集合，可以有效的提高故障注入的效率。
-
-
-
Search Results
4
records
(took 0.02 seconds)
