2025年1月10日
星期五
|
欢迎来到海南省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
何龙
作品数:
29
被引量:0
H指数:0
供职机构:
烟台大学
更多>>
相关领域:
自动化与计算机技术
政治法律
经济管理
更多>>
合作作者
赵金东
烟台大学
刘兆伟
烟台大学
牟哲
烟台大学法学院
王静
烟台大学法学院
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
22篇
专利
1篇
学位论文
领域
7篇
自动化与计算...
1篇
政治法律
主题
22篇
漏洞
16篇
漏洞检测
13篇
网络
13篇
控制流
12篇
流图
12篇
控制流图
11篇
网络安全
11篇
网络安全技术
11篇
安全技术
7篇
合约
6篇
代码
4篇
神经网
4篇
神经网络
4篇
字节
4篇
字节码
4篇
误报
4篇
误报率
4篇
漏洞分析
4篇
操作码
2篇
代码转换
机构
23篇
烟台大学
作者
23篇
何龙
4篇
刘兆伟
4篇
赵金东
年份
15篇
2024
7篇
2023
1篇
2017
共
29
条 记 录,以下是 1-10
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
一种基于神经网络的智能合约漏洞检测方法
本发明涉及网络安全技术领域,具体为一种基于神经网络的智能合约漏洞检测方法;该检测方法通过简化和聚合处理控制流图,剔除和合并了一些非关键节点,突出关键节点和执行顺序,进而将控制流图转化为合约树图,在保留了合约信息的完整性基...
赵相福
何龙
王奕辰
崔振东
陈海悦
甄子贤
基于语义信息引导模糊测试的智能合约漏洞检测方法
本发明涉及网络安全技术领域,具体为基于语义信息引导模糊测试的智能合约漏洞检测方法,该检测方法根据待检智能合约中函数之间的关系确定目标函数;然后,对目标函数进行空间压缩、空间分裂和空间降维,得到多个降维子空间;接着,对每个...
赵相福
王奕辰
何龙
基于图神经网络的智能合约漏洞检测方法、系统和设备
本发明涉及网络安全技术领域,具体为基于图神经网络的智能合约漏洞检测方法、系统和设备,该检测方法将基于操作码基础块中的特征指令得到的特征指令向量,进行语义特征提取处理,得到语义特征向量;同时,提取控制流图中基本块之间的边关...
赵相福
甄子贤
张金凯
王奕辰
陈海悦
何龙
基于约束引导模糊测试的智能合约漏洞检测方法和系统
本发明涉及智能合约漏洞检测领域,具体为一种基于约束引导模糊测试的智能合约漏洞检测方法和系统,采用约束引导灰盒模糊测试的方式对智能合约进行漏洞检测,对智能合约的数据流和控制流进行静态分析,基于静态分析结果引入一种全新的智能...
赵相福
何龙
一种基于神经网络的智能合约漏洞检测方法
本发明涉及网络安全技术领域,具体为一种基于神经网络的智能合约漏洞检测方法;该检测方法通过简化和聚合处理控制流图,剔除和合并了一些非关键节点,突出关键节点和执行顺序,进而将控制流图转化为合约树图,在保留了合约信息的完整性基...
赵相福
何龙
王奕辰
崔振东
陈海悦
甄子贤
一种基于中间表示的智能合约漏洞检测方法、系统和设备
本发明涉及网络安全技术领域,具体为一种基于中间表示的智能合约漏洞检测方法、系统和设备;该检测方法,将待检智能合约的Solidity代码转换为中间表示,既简化了合约分析过程,又能够保留Solidity源代码中的重要语义信息...
赵相福
王世纪
何龙
苟乃翔
杨佳慧
张菡峰
基于源代码和字节码的智能合约漏洞检测方法和系统
本申请涉及电数字数据处理技术领域,具体为基于源代码和字节码的智能合约漏洞检测方法和系统;为解决现有技术中智能合约误报率高,检测准确率低的技术问题,本申请首先基于待检智能合约的字节码,获取语义事实,并基于语义事实进行字节码...
赵相福
张菡峰
何龙
杨佳慧
王世纪
苟乃翔
一种智能合约安全漏洞检测方法和系统
本发明涉及网络安全技术领域,具体为一种智能合约安全漏洞检测方法和系统,将智能合约字节码反编译处理为三地址码形式的中间语言,并构建智能合约的控制流图,提取控制流图的语义信息并存储为Datalog事实,以更好地表示智能合约的...
赵相福
陈海悦
刘兆伟
赵金东
王奕辰
何龙
甄子贤
一种基于漏洞子图的智能合约漏洞检测方法、系统和设备
本发明涉及网络安全技术领域,具体为一种基于漏洞子图的智能合约漏洞检测方法、系统和设备,该检测方法基于一些终止指令从智能合约构建控制流图,并根据漏洞关键词得到潜在漏洞节点,并基于潜在漏洞节点将控制流图拆分为多个漏洞子图,接...
赵相福
王奕辰
何龙
一种跨合约漏洞的检测方法、系统和设备
本发明涉及网络安全技术领域,具体为一种跨合约漏洞的检测方法、系统和设备,静态的抽象了智能合约的主要信息,获取能够指定攻击方向候选攻击对序,将候选攻击对序与带有攻击性的模板合约结合,生成攻击合约,使用攻击合约动态攻击智能合...
赵相福
王奕辰
何龙
刘兆伟
赵金东
陈海悦
甄子贤
全选
清除
导出
共3页
<
1
2
3
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张