[发明专利]一种基于拍卖退款交易智能合约重入攻击漏洞的优化方法在审
| 申请号： | 202211163193.3 | 申请日： | 2022-09-23 |
| 公开（公告）号： | CN115470498A | 公开（公告）日： | 2022-12-13 |
| 发明（设计）人： | 陈虹;王颖辉;刘腊梅 | 申请（专利权）人： | 辽宁工程技术大学 |
| 主分类号： | G06F21/57 | 分类号： | G06F21/57;G06F21/56 |
| 代理公司： | 沈阳东大知识产权代理有限公司 21109 | 代理人： | 李在川 |
| 地址： | 123000 辽*** | 国省代码： | 辽宁;21 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明设计一种基于拍卖退款交易智能合约重入攻击漏洞的优化方法，属于计算机网络安全领域；首先提出了一种重入攻击智能合约，是基于现有拍卖退款智能合约通过增加退款函数withdraw的方式，避免使用revert()方法进行优化得到的；为了验证重入攻击智能合约的有效性，使用promela语言将重入攻击智能合约转化为reentrancySecure.pml形式化文件，对重入攻击智能合约进行建模；最后将重入攻击智能合约模型进行形式化验证；采用本方法优化的智能合约能够避免因系统中断产生的重入攻击，与带有漏洞智能合约相比，优化后的智能合约等效内存使用量减少、搜索深度提升以及运行时间也有缩短。 | ||
| 搜索关键词： | 一种 基于 拍卖 退款 交易 智能 合约 攻击 漏洞 优化 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于辽宁工程技术大学，未经辽宁工程技术大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202211163193.3/，转载请声明来源钻瓜专利网。
- 上一篇：承载膜结构、光学膜结构、光学模组及显示装置
- 下一篇：一种古红桔的种植方法
