{"links":{},"id":201374,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00201374","sets":["6164:6165:6462:10022"]},"path":["10022"],"owner":"44499","recid":"201374","title":["RA: スマートコントラクトの安全性解析にむけたシンボリック実行ツール"],"pubdate":{"attribute_name":"公開日","attribute_value":"2019-10-14"},"_buckets":{"deposit":"7ac17aaf-5da9-4e2b-b4c4-1234a855f1f1"},"_deposit":{"id":"201374","pid":{"type":"depid","value":"201374","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"RA: スマートコントラクトの安全性解析にむけたシンボリック実行ツール","author_link":["492195","492196","492190","492194","492191","492189","492192","492193"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"RA: スマートコントラクトの安全性解析にむけたシンボリック実行ツール"},{"subitem_title":"RA: Symbolic Execution Tool Toward Security Analysis of Smart Contracts","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"ブロックチェーン，Ethereum，スマートコントラクト，シンボリック実行，制御フローグラフ","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2019-10-14","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"大阪大学大学院情報科学研究科"},{"subitem_text_value":"大阪大学大学院情報科学研究科"},{"subitem_text_value":"大阪大学大学院情報科学研究科"},{"subitem_text_value":"奈良工業高等専門学校"}]},"item_18_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Information Science and Technology, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Information Science and Technology, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Information Science and Technology, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"National Institute of Technology, Nara College","subitem_text_language":"en"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/201374/files/IPSJCSS2019081.pdf","label":"IPSJCSS2019081.pdf"},"date":[{"dateType":"Available","dateValue":"2021-10-14"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJCSS2019081.pdf","filesize":[{"value":"1.3 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"30"},{"tax":["include_tax"],"price":"0","billingrole":"46"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"07dbf650-2af8-4f2e-ac02-e5448cdbea20","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2019 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"知念, 祐一郎"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"矢内, 直人"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"クルズ, ジェイソン ポール"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"岡村, 真吾"}],"nameIdentifiers":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yuichiro, Chinen","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Naoto, Yanai","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Jason, Paul Cruz","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Shingo, Okamura","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_18_relation_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_relation_type_id":{"subitem_relation_type_select":"NCID","subitem_relation_type_id_text":"ISSN　1882-0840"}}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"スマートコントラクトはブロックチェーン上で稼働するプログラムであり，分散型アプリケーションの開発に用いられる．近年の研究ではスマートコントラクトに対し，コントラクトの生成や外部コントラクトの呼び出しといった複雑な動作を通じて不正に送金処理を行うリエントランシー攻撃が報告されているが，既存のスマートコントラクトの検査ツールは単一のコントラクト内部の動作のみを検査対象としており，このような複雑な攻撃を解析できない．<br>本稿では，Ethereumスマートコントラクトを対象に先述した複雑な動作を解析するシンボリック実行ツールRA を提案する．RA はコントラクトの生成や外部呼び出しが起きた状況であっても，プログラムの動作を制御フローグラフを通じて正確に表現できる．これにより，既存ツールに比べコード網羅率を大幅に上昇させるとともに，複雑化している攻撃手法に対する脆弱性を検査することが期待できる．","subitem_description_type":"Other"}]},"item_18_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Smart contracts are programs that run on blockchains and are used to develop decentralized applications. While attacks against smart contracts involving complex operations such as contract creation and calling external contract have been reported, existing inspection tools only focus on operations within a single contract and thus cannot analyze such attacks.<br>In this paper, we introduce a new symbolic execution tool, named RA, to analyze Ethereum smart contracts including the complex operations described above. RA is able to express a program behavior even against attacks based on the complex operations through generating a control flow graph. Consequently, as well as improving a code coverage in comparison with the existing tools, RA can be potentially used to analyze inspecting attacks based on vulnerabilities to complicated attack methods.","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"576","bibliographic_titles":[{"bibliographic_title":"コンピュータセキュリティシンポジウム2019論文集"}],"bibliographicPageStart":"569","bibliographicIssueDates":{"bibliographicIssueDate":"2019-10-14","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2019"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"created":"2025-01-19T01:04:38.771310+00:00","updated":"2025-01-19T21:04:02.812460+00:00"}