期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于多特征融合的智能合约缺陷检测方法
1
作者
王奕丰
曾诚
+2 位作者
全擎宇
王娇然
何鹏
《计算机工程》
CAS
CSCD
北大核心
2024年第8期133-141,共9页
智能合约是区块链技术最成功的应用之一,随着其广泛应用,智能合约的安全问题也引起了研究人员的关注。尽管已有一些针对智能合约缺陷检测的研究,但对于智能合约代码特征的挖掘还不充分。提出一种采用多特征融合方式的智能合约缺陷检测...
智能合约是区块链技术最成功的应用之一,随着其广泛应用,智能合约的安全问题也引起了研究人员的关注。尽管已有一些针对智能合约缺陷检测的研究,但对于智能合约代码特征的挖掘还不充分。提出一种采用多特征融合方式的智能合约缺陷检测方法。首先,对智能合约代码进行预处理,其中包括颜色标记、词汇提取、ASCII字符转换以及合约之间继承关系的提取;然后,将颜色标记、词汇提取、ASCII字符转换得到的处理信息输入到由BERT、卷积神经网络(CNN)以及双向长短期记忆(BiLSTM)网络构建的融合模型中进行特征提取,同时将合约之间的继承关系信息输入node2vec随机游走算法,以获得合约关系的特征向量;最后,将所有特征向量连接并输入分类器进行缺陷分类。使用真实的Solidity智能合约数据集对该方法进行验证,实验结果表明,相比其他模型,所提多特征融合模型在F1值实现了6%~12%的改进,在准确度方面实现了4%~11%的提升,该方法能够更好地挖掘智能合约代码的深层特征,提高缺陷检测性能,对智能合约的安全性具有一定的应用价值。
展开更多
关键词
区块链
智能合约
Solidity语言
多特征
缺陷检测
在线阅读
下载PDF
职称材料
基于CUDA和比特切片的SM4算法软件优化和实现
2
作者
吴江雨
何鹏
《计算机应用研究》
北大核心
2025年第9期2825-2833,共9页
SM4算法作为中国国家标准的对称加密算法,其加密效率是实现高质量、高效率数据保护的关键因素。目前SM4算法优化主要表现在比特切片和指令集优化等方面。比特切片和指令集优化分别存在着数据交互频繁以及高度依赖于底层硬件,不同架构的...
SM4算法作为中国国家标准的对称加密算法,其加密效率是实现高质量、高效率数据保护的关键因素。目前SM4算法优化主要表现在比特切片和指令集优化等方面。比特切片和指令集优化分别存在着数据交互频繁以及高度依赖于底层硬件,不同架构的支持程度存在不同的问题。针对上述问题,提出了在数据处理上采用改进的比特切片优化数据编排的方法,从而提高数据传输效率,并且在CUDA编程模型的框架上,通过本地GPU实现SM4算法的高效通用并行加密。实验结果表明,在使用比特切片后,对小型数据也能够提高速度,处理明文大小为32 KB时加速比(Ep)能达到3.03。另外,与通用SM4算法相比,优化后的SM4算法加密速度可以达到14648 Mbit/s,加密每字节需要的时钟周期可以达到2.0 cycles/Byte,性能提升40%~215%。该方案在GPU的并行加速下能够大大提升当前SM4算法的加解密效率,在基于改进的比特切片优化下,也能提高小型数据的速度,并且安全性得到了良好的提升。
展开更多
关键词
SM4
CUDA
GPU加速
比特切片
性能优化
在线阅读
下载PDF
职称材料
加权Laplace算子Dirichlet特征值问题的一个万有不等式及其应用
3
作者
杨贵诚
温杨哲
毛井
《数学物理学报(A辑)》
北大核心
2025年第1期54-73,共20页
该文研究了欧氏空间中具有光滑边界的有界区域Ω上加权Laplace算子L_(φ)的Dirichlet特征值问题.在加权函数φ满足一定约束条件的前提下,利用变分法,并在恰当地构造测试函数的基础上,可以得到该特征值问题的一个万有不等式.
关键词
加权Laplace算子
Dirichlet特征值问题
Green公式
在线阅读
下载PDF
职称材料
题名
基于多特征融合的智能合约缺陷检测方法
1
作者
王奕丰
曾诚
全擎宇
王娇然
何鹏
机构
湖北大学
计算机与信息工程学院
湖北大学
人工
智能
学院
湖北大学
网络空间
安全
学院
湖北大学智能感知系统与安全教育部重点实验室
出处
《计算机工程》
CAS
CSCD
北大核心
2024年第8期133-141,共9页
基金
湖北省重点研发计划(2021BAA188,2021BAA184)。
文摘
智能合约是区块链技术最成功的应用之一,随着其广泛应用,智能合约的安全问题也引起了研究人员的关注。尽管已有一些针对智能合约缺陷检测的研究,但对于智能合约代码特征的挖掘还不充分。提出一种采用多特征融合方式的智能合约缺陷检测方法。首先,对智能合约代码进行预处理,其中包括颜色标记、词汇提取、ASCII字符转换以及合约之间继承关系的提取;然后,将颜色标记、词汇提取、ASCII字符转换得到的处理信息输入到由BERT、卷积神经网络(CNN)以及双向长短期记忆(BiLSTM)网络构建的融合模型中进行特征提取,同时将合约之间的继承关系信息输入node2vec随机游走算法,以获得合约关系的特征向量;最后,将所有特征向量连接并输入分类器进行缺陷分类。使用真实的Solidity智能合约数据集对该方法进行验证,实验结果表明,相比其他模型,所提多特征融合模型在F1值实现了6%~12%的改进,在准确度方面实现了4%~11%的提升,该方法能够更好地挖掘智能合约代码的深层特征,提高缺陷检测性能,对智能合约的安全性具有一定的应用价值。
关键词
区块链
智能合约
Solidity语言
多特征
缺陷检测
Keywords
blockchain
smart contract
Solidity language
multi-feature
defect detection
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于CUDA和比特切片的SM4算法软件优化和实现
2
作者
吴江雨
何鹏
机构
湖北大学
计算机与信息工程学院
湖北大学
网络空间
安全
学院
湖北大学智能感知系统与安全教育部重点实验室
出处
《计算机应用研究》
北大核心
2025年第9期2825-2833,共9页
基金
湖北省重大攻关项目(2023BAA018)
武汉市重点研发计划资助项目(2023010402010783)。
文摘
SM4算法作为中国国家标准的对称加密算法,其加密效率是实现高质量、高效率数据保护的关键因素。目前SM4算法优化主要表现在比特切片和指令集优化等方面。比特切片和指令集优化分别存在着数据交互频繁以及高度依赖于底层硬件,不同架构的支持程度存在不同的问题。针对上述问题,提出了在数据处理上采用改进的比特切片优化数据编排的方法,从而提高数据传输效率,并且在CUDA编程模型的框架上,通过本地GPU实现SM4算法的高效通用并行加密。实验结果表明,在使用比特切片后,对小型数据也能够提高速度,处理明文大小为32 KB时加速比(Ep)能达到3.03。另外,与通用SM4算法相比,优化后的SM4算法加密速度可以达到14648 Mbit/s,加密每字节需要的时钟周期可以达到2.0 cycles/Byte,性能提升40%~215%。该方案在GPU的并行加速下能够大大提升当前SM4算法的加解密效率,在基于改进的比特切片优化下,也能提高小型数据的速度,并且安全性得到了良好的提升。
关键词
SM4
CUDA
GPU加速
比特切片
性能优化
Keywords
SM4
CUDA
GPU acceleration
bit slice
performance optimization
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
加权Laplace算子Dirichlet特征值问题的一个万有不等式及其应用
3
作者
杨贵诚
温杨哲
毛井
机构
湖北
商贸学院
湖北大学
数学与统计学学院
湖北大学智能感知系统与安全教育部重点实验室
出处
《数学物理学报(A辑)》
北大核心
2025年第1期54-73,共20页
基金
国家自然科学基金(11801496,11926352)
霍英东教育基金会高等院校青年教师基金(161004)
应用数学湖北省重点实验室和智能感知系统与安全教育部重点实验室(湖北大学)。
文摘
该文研究了欧氏空间中具有光滑边界的有界区域Ω上加权Laplace算子L_(φ)的Dirichlet特征值问题.在加权函数φ满足一定约束条件的前提下,利用变分法,并在恰当地构造测试函数的基础上,可以得到该特征值问题的一个万有不等式.
关键词
加权Laplace算子
Dirichlet特征值问题
Green公式
Keywords
weighted Laplace operator
Dirichlet eigenvalue problem
Green formula
分类号
O186 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于多特征融合的智能合约缺陷检测方法
王奕丰
曾诚
全擎宇
王娇然
何鹏
《计算机工程》
CAS
CSCD
北大核心
2024
0
在线阅读
下载PDF
职称材料
2
基于CUDA和比特切片的SM4算法软件优化和实现
吴江雨
何鹏
《计算机应用研究》
北大核心
2025
0
在线阅读
下载PDF
职称材料
3
加权Laplace算子Dirichlet特征值问题的一个万有不等式及其应用
杨贵诚
温杨哲
毛井
《数学物理学报(A辑)》
北大核心
2025
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
