智能合约代码形式化转换与分析框架

2022 9th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2022-08-01 DOI:10.1109/DSA56465.2022.00140

Hanjie Dong, Yaqiong He, H. Tao, Q. Duan

{"title":"智能合约代码形式化转换与分析框架","authors":"Hanjie Dong, Yaqiong He, H. Tao, Q. Duan","doi":"10.1109/DSA56465.2022.00140","DOIUrl":null,"url":null,"abstract":"The smart contract technology has drawn extensive attention in recent years. However, attributing to the immutability of blockchain, a smart contract cannot be altered once deployed on chain. Even a simple flaw in a smart contract can cause huge economic loss. Formal method can provide a reliable guarantee for the security of smart contracts. In this paper, we present a framework for formal transformation and analysis of smart contract code, aiming to facilitate the task of analyzing security issues of smart contracts. In addition, the transformation efficiency is tested and evaluated with different scales of code, which proves the practicality and effectiveness of the transformation framework.","PeriodicalId":208148,"journal":{"name":"2022 9th International Conference on Dependable Systems and Their Applications (DSA)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A Framework for Formal Transformation and Analysis of Smart Contract Code\",\"authors\":\"Hanjie Dong, Yaqiong He, H. Tao, Q. Duan\",\"doi\":\"10.1109/DSA56465.2022.00140\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The smart contract technology has drawn extensive attention in recent years. However, attributing to the immutability of blockchain, a smart contract cannot be altered once deployed on chain. Even a simple flaw in a smart contract can cause huge economic loss. Formal method can provide a reliable guarantee for the security of smart contracts. In this paper, we present a framework for formal transformation and analysis of smart contract code, aiming to facilitate the task of analyzing security issues of smart contracts. In addition, the transformation efficiency is tested and evaluated with different scales of code, which proves the practicality and effectiveness of the transformation framework.\",\"PeriodicalId\":208148,\"journal\":{\"name\":\"2022 9th International Conference on Dependable Systems and Their Applications (DSA)\",\"volume\":\"42 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-08-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2022 9th International Conference on Dependable Systems and Their Applications (DSA)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DSA56465.2022.00140\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2022 9th International Conference on Dependable Systems and Their Applications (DSA)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DSA56465.2022.00140","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

近年来，智能合约技术引起了广泛的关注。然而，由于区块链的不变性，智能合约一旦部署到链上就无法更改。即使是智能合约中一个简单的缺陷也会造成巨大的经济损失。形式化方法可以为智能合约的安全性提供可靠的保证。在本文中，我们提出了一个对智能合约代码进行形式化转换和分析的框架，旨在促进分析智能合约安全问题的任务。此外，还对不同规模的代码进行了转换效率测试和评估，验证了转换框架的实用性和有效性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A Framework for Formal Transformation and Analysis of Smart Contract Code

The smart contract technology has drawn extensive attention in recent years. However, attributing to the immutability of blockchain, a smart contract cannot be altered once deployed on chain. Even a simple flaw in a smart contract can cause huge economic loss. Formal method can provide a reliable guarantee for the security of smart contracts. In this paper, we present a framework for formal transformation and analysis of smart contract code, aiming to facilitate the task of analyzing security issues of smart contracts. In addition, the transformation efficiency is tested and evaluated with different scales of code, which proves the practicality and effectiveness of the transformation framework.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2022 9th International Conference on Dependable Systems and Their Applications (DSA)

自引率

0.00%

发文量