期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
SCG-Detector:基于图注意力网络的智能合约漏洞检测方法
1
作者
顾锡国
王志伟
+2 位作者
陈翔
何启帆
崔展齐
《电子学报》
CSCD
北大核心
2024年第12期4101-4112,共12页
随着智能合约被广泛使用,其处理的业务逻辑更加复杂,代码复杂度越来越高,引发了大量安全漏洞.为避免潜在安全漏洞造成的危害,研究人员提出了一系列智能合约漏洞检测方法.但现有方法对合约特征表征不完整,未将合约的语义及结构特征进行...
随着智能合约被广泛使用,其处理的业务逻辑更加复杂,代码复杂度越来越高,引发了大量安全漏洞.为避免潜在安全漏洞造成的危害,研究人员提出了一系列智能合约漏洞检测方法.但现有方法对合约特征表征不完整,未将合约的语义及结构特征进行统一表征,难以准确、全面地检测和识别智能合约中的潜在漏洞和安全风险.为此,本文提出了基于图注意力网络的智能合约漏洞检测方法SCG-Detector(Smart Contract Graph Detector).首先,通过解析合约源代码构建抽象语法树(Abstract Syntax Tree,AST)以表征合约语法结构信息,并在AST上添加表示语义信息的数据依赖关系和控制依赖关系,以构建合约图(Smart Contract Graph,SCG)同时表征合约的语法结构及语义信息;然后,将SCG输入到图注意网络模型中进行训练,利用注意力机制学习合约中漏洞的特征;最后,利用训练好的图注意力网络模型检测合约中是否存在漏洞及所存在漏洞的类型.SCG-Detector在12616个智能合约上进行的实验结果表明,相比于sFuzz、Conkas、ConFuzzius、Mythril、Osiris、Slither、Oyente、MANDO-GURU等8种广泛使用的方法,SCG-Detector的Precision最高提升了26.46%,Recall最高提升了69.64%,F1最高提升了59.57%.
展开更多
关键词
智能合约
图注意力网络
合约图
抽象语法树
数据依赖关系
控制依赖关系
在线阅读
下载PDF
职称材料
基于TAPI/ACTN双栈的传送SDN互通方案
被引量:
2
2
作者
胡骞
荆瑞泉
赵国永
《光通信技术》
北大核心
2018年第9期18-21,共4页
目前针对各接口规范的多厂商互通测试均已完成,但双栈互通方面暂时缺乏方案探索和试验验证。首先介绍TAPI和ACTN的发展现状,探讨了TAPI和ACTN双栈互通的必要性,然后采用关联分析、简化模型和统一描述等方式建立统一的信息模型(CNIM),实...
目前针对各接口规范的多厂商互通测试均已完成,但双栈互通方面暂时缺乏方案探索和试验验证。首先介绍TAPI和ACTN的发展现状,探讨了TAPI和ACTN双栈互通的必要性,然后采用关联分析、简化模型和统一描述等方式建立统一的信息模型(CNIM),实现了双栈互通,并结合实验室测试对多厂商、双栈的情况进行了互通测试验证,测试结果表明CNIM能够较好地实现TAPI和ACTN的双栈互通。
展开更多
关键词
软件定义网络
TAPI
ACTN
CNIM
互通
在线阅读
下载PDF
职称材料
基于GMPLS的智能光网络流量工程研究
被引量:
3
3
作者
刘玲斐
高鹏
+1 位作者
陆月明
纪越峰
《现代有线传输》
2004年第3期49-52,共4页
自动交换光网络已经成为下一代光网络的发展方向,而其控制平面的分布式连接管理功能则是实现光网络智能性的关键。本文介绍了自动交换光网络的功能结构,在此基础上系统论述了分布式连接管理的功能要求,详细分析了分布式的呼叫和连接处...
自动交换光网络已经成为下一代光网络的发展方向,而其控制平面的分布式连接管理功能则是实现光网络智能性的关键。本文介绍了自动交换光网络的功能结构,在此基础上系统论述了分布式连接管理的功能要求,详细分析了分布式的呼叫和连接处理的实现过程,并给出了具体的参考流程和状态转移模型。
展开更多
关键词
GMPLS
自动交换光网络
分布式连接管理
智能光网络
在线阅读
下载PDF
职称材料
软件定义网络多控制器平台研究
4
作者
魏明军
张文娜
《无线互联科技》
2016年第2期49-50,共2页
文章针对软件定义网络单一控制器的处理能力不能满足需求的扩展性问题及当前分布式多控制器平台无法根据实际情况改变服务的问题,在控制层面上提出设计服务抽象层,对抽象服务层在控制器应用中对底层的操作或者应用之间交互设计的可行性...
文章针对软件定义网络单一控制器的处理能力不能满足需求的扩展性问题及当前分布式多控制器平台无法根据实际情况改变服务的问题,在控制层面上提出设计服务抽象层,对抽象服务层在控制器应用中对底层的操作或者应用之间交互设计的可行性进行实验验证及测试。
展开更多
关键词
软件定义网络
多控制器
服务抽象层
在线阅读
下载PDF
职称材料
题名
SCG-Detector:基于图注意力网络的智能合约漏洞检测方法
1
作者
顾锡国
王志伟
陈翔
何启帆
崔展齐
机构
北京信息科技大学计算机学院
国家网信办数据与技术保障中心
南通大学信息科学技术学院
出处
《电子学报》
CSCD
北大核心
2024年第12期4101-4112,共12页
基金
江苏省前沿引领技术基础研究专项(No.BK20202001)
国家自然科学基金(No.61702041)
+1 种基金
北京控制工程研究所高可信嵌入式软件工程技术实验室开放基金(No.LHCESET202307)
北京信息科技大学“勤信人才”培育计划(No.QXTCP B202406)。
文摘
随着智能合约被广泛使用,其处理的业务逻辑更加复杂,代码复杂度越来越高,引发了大量安全漏洞.为避免潜在安全漏洞造成的危害,研究人员提出了一系列智能合约漏洞检测方法.但现有方法对合约特征表征不完整,未将合约的语义及结构特征进行统一表征,难以准确、全面地检测和识别智能合约中的潜在漏洞和安全风险.为此,本文提出了基于图注意力网络的智能合约漏洞检测方法SCG-Detector(Smart Contract Graph Detector).首先,通过解析合约源代码构建抽象语法树(Abstract Syntax Tree,AST)以表征合约语法结构信息,并在AST上添加表示语义信息的数据依赖关系和控制依赖关系,以构建合约图(Smart Contract Graph,SCG)同时表征合约的语法结构及语义信息;然后,将SCG输入到图注意网络模型中进行训练,利用注意力机制学习合约中漏洞的特征;最后,利用训练好的图注意力网络模型检测合约中是否存在漏洞及所存在漏洞的类型.SCG-Detector在12616个智能合约上进行的实验结果表明,相比于sFuzz、Conkas、ConFuzzius、Mythril、Osiris、Slither、Oyente、MANDO-GURU等8种广泛使用的方法,SCG-Detector的Precision最高提升了26.46%,Recall最高提升了69.64%,F1最高提升了59.57%.
关键词
智能合约
图注意力网络
合约图
抽象语法树
数据依赖关系
控制依赖关系
Keywords
smart contracts
graph at
te
ntion network
contract graph
abstract syntax tree
data dependencies
control
dependencies
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于TAPI/ACTN双栈的传送SDN互通方案
被引量:
2
2
作者
胡骞
荆瑞泉
赵国永
机构
中国电信股份有限公司北京研究院
出处
《光通信技术》
北大核心
2018年第9期18-21,共4页
基金
超高速宽带通信北京市重点实验室项目(No.BZ0268)资助
文摘
目前针对各接口规范的多厂商互通测试均已完成,但双栈互通方面暂时缺乏方案探索和试验验证。首先介绍TAPI和ACTN的发展现状,探讨了TAPI和ACTN双栈互通的必要性,然后采用关联分析、简化模型和统一描述等方式建立统一的信息模型(CNIM),实现了双栈互通,并结合实验室测试对多厂商、双栈的情况进行了互通测试验证,测试结果表明CNIM能够较好地实现TAPI和ACTN的双栈互通。
关键词
软件定义网络
TAPI
ACTN
CNIM
互通
Keywords
s
of
t defined networking
transport application programming in
te
rface
abstraction and control of te networks
common northbound information model
in
te
roperability
分类号
TN914 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
基于GMPLS的智能光网络流量工程研究
被引量:
3
3
作者
刘玲斐
高鹏
陆月明
纪越峰
机构
北京邮电大学光通信中心
出处
《现代有线传输》
2004年第3期49-52,共4页
基金
国家杰出青年科学基金项目(No.60325104)
国家自然科学基金项目(No.90104017)
国家863计划项目(No.2003AA122210)资助。
文摘
自动交换光网络已经成为下一代光网络的发展方向,而其控制平面的分布式连接管理功能则是实现光网络智能性的关键。本文介绍了自动交换光网络的功能结构,在此基础上系统论述了分布式连接管理的功能要求,详细分析了分布式的呼叫和连接处理的实现过程,并给出了具体的参考流程和状态转移模型。
关键词
GMPLS
自动交换光网络
分布式连接管理
智能光网络
Keywords
te
In
te
lligent Optical Network
control
Plane
GMPLS
Constrain-based Routing
分类号
TN929.11 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
软件定义网络多控制器平台研究
4
作者
魏明军
张文娜
机构
华北理工大学信息工程学院
出处
《无线互联科技》
2016年第2期49-50,共2页
文摘
文章针对软件定义网络单一控制器的处理能力不能满足需求的扩展性问题及当前分布式多控制器平台无法根据实际情况改变服务的问题,在控制层面上提出设计服务抽象层,对抽象服务层在控制器应用中对底层的操作或者应用之间交互设计的可行性进行实验验证及测试。
关键词
软件定义网络
多控制器
服务抽象层
Keywords
s
of
tware-defined networking
multi-
control
le
the abstract service layer
分类号
TP393.02 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
SCG-Detector:基于图注意力网络的智能合约漏洞检测方法
顾锡国
王志伟
陈翔
何启帆
崔展齐
《电子学报》
CSCD
北大核心
2024
0
在线阅读
下载PDF
职称材料
2
基于TAPI/ACTN双栈的传送SDN互通方案
胡骞
荆瑞泉
赵国永
《光通信技术》
北大核心
2018
2
在线阅读
下载PDF
职称材料
3
基于GMPLS的智能光网络流量工程研究
刘玲斐
高鹏
陆月明
纪越峰
《现代有线传输》
2004
3
在线阅读
下载PDF
职称材料
4
软件定义网络多控制器平台研究
魏明军
张文娜
《无线互联科技》
2016
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部