区块链拍卖退款交易智能合约DoS漏洞优化研究

陈虹; 王颖辉; 金海波; 曹玥

首页> 中文期刊> 《计算机应用研究》 >区块链拍卖退款交易智能合约DoS漏洞优化研究

区块链拍卖退款交易智能合约DoS漏洞优化研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对智能合约的DoS漏洞可能在拍卖退款交易中造成资源耗尽问题进行了研究,设计了拍卖退款交易中智能合约DoS漏洞优化方案。首先构造可能存在DoS漏洞的智能合约,然后采用增加映射以及压栈出栈方法完成漏洞优化,最后通过形式化验证运行优化后的智能合约,检测其是否存在逻辑错误或不一致性。实验结果表明,采用该方法优化的智能合约能够避免因资源耗尽产生的拒绝服务,与带有漏洞智能合约相比,优化后的智能合的等效内存使用量减少了约62.8%,运行时间也有缩短。

著录项

来源
《计算机应用研究》 |2023年第2期|343-348|共6页
作者
陈虹; 王颖辉; 金海波; 曹玥;
展开▼
作者单位

辽宁工程技术大学软件学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
智能合约; 形式化验证; 拍卖退款; DoS漏洞;

相似文献

中文文献
外文文献
专利

1. 基于以太坊智能合约的密封式区块链拍卖可信方案的研究 [J] . 杨杰 ,孙钰 ,刘峰 . 计算机科学与应用 . 2020,第005期
2. 基于区块链的旅游服务交易智能合约算法研究 [J] . 李松钊 ,李文敬 ,陆建波 . 广西师范学院学报（自然科学版） . 2019,第001期
3. 物流服务交易区块链与蚁群智能合约算法研究 [J] . 李松钊 ,李文敬 ,陆建波 . 计算机工程与应用 . 2019,第017期
4. 基于区块链智能合约的茶叶交易模型研究 [J] . 柳毅 . 电脑与信息技术 . 2018,第004期
5. 基于区块链智能合约的分布式发电市场化交易机制研究 [J] . 于韶源 ,杨胜春 ,李亚平 . 智慧电力 . 2018,第010期
6. 区块链智能合约漏洞分析研究进展 [C] . XIN Wei ,辛伟 ,ZHANG Tao . 第十届信息安全漏洞分析与风险评估大会 . 2017
7. 面向区块链智能合约的实时漏洞检测技术研究 [A] . 李婷 . 2021

区块链拍卖退款交易智能合约DoS漏洞优化研究

摘要

著录项

相似文献

相关主题

期刊订阅