一种智能合约二进制函数的相似性分析方法

    公开(公告)号:CN113312058A

    公开(公告)日:2021-08-27

    申请号:CN202110690580.1

    申请日:2021-06-22

    IPC分类号: G06F8/53 G06N3/04 G06N3/08

    摘要: 本发明属于区块链智能合约安全检测技术领域,具体涉及一种智能合约二进制函数的相似性分析方法。本发明包括反编译的字节码,生成EVM指令及相应的参数;根据反编译后的EVM指令重建控制流图CFG;将一个合约的CFG划分为若干二进制函数,并且为CFG中的边确定时序关系;提取特征值和图结构;设计了一种基于时序聚合图结构的模型,比较聚合后的图结构可以得出两个二进制函数的相似性。本发明直接对合约的字节码进行研究,不仅能处理大部分缺少源代码的合约,也能使用一些源码层面没有的隐藏信息。

    一种面向云存储的多机构加权准则加密方法

    公开(公告)号:CN111953482A

    公开(公告)日:2020-11-17

    申请号:CN202010743443.5

    申请日:2020-07-29

    IPC分类号: H04L9/08 H04L29/06 H04L29/08

    摘要: 本发明属于网络与信息安全中的数据加密技术领域,具体涉及一种面向云存储的多机构加权准则加密方法。本发明采用多个属性机构共同管理全局准则域,并为用户生成解密密钥。解决了传统属性加密方案用户密钥仅由单一机构生成而带来的安全问题。同时,降低了密钥生成机构服务器的计算资源消耗。本发明在传统属性加密方案的基础上,在访问策略中引入准则的概念。该方法将每个准则表示为多项式形式,而多项式的根对应于一个属性。用户满足准则的条件为用户至少拥有多项式的一个根。与此同时,用户可以为每个准则赋予不同的权重,使得访问策略更加符合实际应用需求。

    一种基于D-LinkNet的遥感图像道路提取方法

    公开(公告)号:CN111767810A

    公开(公告)日:2020-10-13

    申请号:CN202010558654.1

    申请日:2020-06-18

    摘要: 本发明提供一种基于D-LinkNet的遥感图像道路提取方法,包括如下步骤:S1:将特征图输入D-LinkNet网络后,在基于残差网络与迁移学习的编码器子网络中完成处理;S2:将步骤S1输出的特征图输入到基于扩张卷积与卷积块注意力模块的特征提取子网络中进行特征提取;S3:经过前两个子网络的处理后得到的特征图进入基于转置卷积的解码器子网络中实现图像的恢复。本发明能够对遥感图像中的道路特征下采样,很好地避免了网络的退化问题,同时加强道路特征的提取;能够使用扩张卷积扩增感受野,在不增加下采样的同时,感知更大范围内的道路特征,并进行特征提取,能够很好地应对遥感图像中道路部分占幅比例过小的问题。

    一种基于多尺度模糊的声学图像纹理特征提取方法

    公开(公告)号:CN108875741A

    公开(公告)日:2018-11-23

    申请号:CN201810620930.5

    申请日:2018-06-15

    摘要: 本发明公开了一种基于多尺度模糊的声学图像纹理特征提取方法,属于计算机技术领域,包括图像预处理,图像特征值提取及分类器分类。主要实现步骤为:寻找并选取图像的感兴趣区域ROI;对图像进行自适应中值滤波处理,以最小化图像的散斑噪声,保持对脉冲噪声的鲁棒性和图像的边缘特性;对图像进行膨胀和腐蚀操作来进一步移除散斑噪声以及柔化图像;利用直方图均衡来改善图像的对比度,使它在每个灰度级具有相同的像素数;对图像进行模糊局部二元模式操作LBP,得到对应ROI的FLBP地图;采用双树复小波变换DT‑CWT提取不同尺度的特征;选择随机森林RF作为分类器,将超声图像中内容分为正例和反例;本发明能够高效、准确的对超声图像进行分类,具有广阔的发展前景。

    一种基于OpenFlow网络的QoS管理方法

    公开(公告)号:CN105490962B

    公开(公告)日:2018-10-26

    申请号:CN201510884120.7

    申请日:2015-12-04

    摘要: 本发明属于OpenFlow网络管理领域,具体涉及一种基于OpenFlow网络的QoS管理方法。本发明包括:在数据层上进行数据分类;在数据层上进行PQ队列调度与DRR队列调度相结合的队列调度;在数据层上进行队列管理;在控制层上根据数据流的类型和网络当前状况进行首次路由;在控制层上进行路由迁移。本发明通过业务的类别、链路利用率、流的速度,为链路赋予权值,完成路由算法的改进;利用软件定义网络集中控制的特性,提出了一种路由迁移算法,并对路由迁移的时机选择做了优化。

    一种基于SAML的跨域单点登录模型

    公开(公告)号:CN105072128A

    公开(公告)日:2015-11-18

    申请号:CN201510534726.8

    申请日:2015-08-27

    IPC分类号: H04L29/06 H04L29/08

    摘要: 本发明属于安全域内的单点登录技术领域,具体涉及一种基于SAML的跨域单点登录模型。本发明包括(1)认证子模块完成用户与计算机绑定关系的认证过程、安全域内用户的身份认证和外安全域用户的身份认证;(2)用户通过主机认证和人员身份认证后通过访问控制接口进行权限调用;(3)通过调用相同的审计接口来实现各个模块相关功能点的集中审计;(4)域内的用来鉴别用户身份的服务器从本域的CA中心取得数字证书;(5)本域的CA中心向本安全域内的实体用户发放证书。网关群的提出很好的解决了单网关负载低的严重问题,不但提高了数据转发效率,同时也使得整个跨域单点登录系统更加稳定可靠。

    一种基于SMB协议的共享文件操作过滤方法

    公开(公告)号:CN104683477A

    公开(公告)日:2015-06-03

    申请号:CN201510117533.2

    申请日:2015-03-18

    IPC分类号: H04L29/08

    CPC分类号: H04L63/0227 H04L67/06

    摘要: 本发明涉及一种文件过滤的方法,尤其是涉及一种基于SMB协议的共享文件操作过滤方法。本发明包括:保持对系统139、445端口的监听和数据包分析;对于所有捕捉的数据包进行IP过滤、SMB级过滤、获取文件名逐级操作;将符合自定义监控规则的文件类型及对应文件名称自动加入操作过滤监听列表;网络数据包转入本地监控,系统继续监听本地驱动器进程,获取文件创建消息,获得新创建的文件名;将本地新创建文件与监听列表中文件进行名称、容量基本信息比对;常驻系统监听本地进程,获取文件的操作消息。本方法基于应用层协议的分析过滤策略和操作系统内核过滤驱动,使得操作透明,难以干扰,安全性高。

    基于深度强化学习与多级覆盖策略的智能合约模糊测试方法及系统

    公开(公告)号:CN114840857B

    公开(公告)日:2024-08-13

    申请号:CN202210476264.9

    申请日:2022-04-29

    摘要: 基于深度强化学习与多级覆盖策略的智能合约模糊测试方法及系统,它属于区块链智能合约安全检测技术领域。本发明解决了现有智能合约动态漏洞检测方法效率低,不适用于智能合约程序特性的问题。本发明首先根据智能合约二进制代码得到对应ABI规范,再使用二进制代码和ABI规范生成初始种子加入到多级覆盖策略定义的种子树。再从种子树中选择种子进行变异,并将变异种子和二进制代码送入智能合约执行环境,分析合约执行后产生的执行记录计算变异种子是否出现新覆盖特性,若出现则变异种子加入种子树,并将变异种子的覆盖特性作为奖励送入DDPG算法,用于下一次变异策略的选择,直至循环终止再判断该合约是否有漏洞。本发明可以应用于智能合约模糊测试。

    基于节点评估和动态更新的区块链网络脆弱性检测方法及系统

    公开(公告)号:CN117411688A

    公开(公告)日:2024-01-16

    申请号:CN202311355453.1

    申请日:2023-10-18

    摘要: 基于节点评估和动态更新的区块链网络脆弱性检测方法及系统,它属于区块链网络的安全检测技术领域。本发明解决了现有网络层脆弱性检测方法未考虑区块链网络中节点的属性和网络的动态变化,无法保证网络层脆弱性检测的准确性和实时性的问题。本发明具体为:步骤1、搭建区块链网络,根据节点之间的连接状态构建网络节点的无向拓扑结构;步骤2、分别为每个节点赋值初始特征;步骤3、在每个更新时刻向无向拓扑结构中加入新的节点,对新节点的初始特征进行赋值并更新已有节点的特征;对更新后的每个节点的特征进行融合,得到各个已有节点的融合后特征;步骤4、根据节点特征对区块链网络的脆弱性进行检测。本发明可以应用于区块链网络安全检测。

    一种智能合约二进制代码的漏洞检测方法

    公开(公告)号:CN113051574B

    公开(公告)日:2023-03-21

    申请号:CN202110265675.9

    申请日:2021-03-11

    IPC分类号: G06F21/57 G06F8/53

    摘要: 本发明属于区块链智能合约安全检测技术领域,具体涉及一种智能合约二进制代码的漏洞检测方法。面向复杂漏洞类型,本发明采用动静态结合的检测方法,使用符号执行方法帮助减少模糊匹配方法的开销。针对一般漏洞,本发明提出基于关键指令的静态检测方法,首先反编译字节码生成控制流图CFG,同时为不同类别的漏洞定义了不同的关键指令及规则,使用Z3约束求解引擎进行符号表达式建模,解决了EVM中数据长度为符号表达式的指令的符号建模问题,并通过提取关键路径生成可能利用漏洞的执行路径。本发明解决了智能合约漏洞检测技术手段单一、漏洞检测大多针对合约源代码问题,实现了在仅给定一个合约二进制代码的情况下对其进行漏洞检测。