文献

J-GLOBAL ID：202202238959846367   整理番号：22A0488588

エンタープライズのためのスマート契約ファジィ化:言語アグノスティック法【JST・京大機械翻訳】

Smart Contract Fuzzing for Enterprises: The Language Agnostic Way

著者 (6件)： Pani Siddhasagar (TCS Research and Innovation,India) ,  Nallagonda Harshita Vani (TCS Research and Innovation,India) ,  Prakash Saumya (TCS Research and Innovation,India) ,  R Vigneswaran (TCS Research and Innovation,India) ,  Medicherla Raveendra Kumar (TCS Research and Innovation,India) ,  A Rajan M (TCS Research and Innovation,India)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2022  号： COMSNETS  ページ： 1-6  発行年： 2022年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： スマート契約によってバックされたブロックチェーンベースのアプリケーションは,様々な分野でますます普及している。スマート契約は,それらにおけるバグによる攻撃に対して脆弱であり,そのような攻撃は,巨大な金銭的損失,運用における混乱,および過去のそれをもたらした。Fuzz試験は,ブロックチェーンスマート契約におけるバグの同定に用いられる顕著な方法の1つである。異なるプログラミング言語で書かれたスマート契約をファジィ化するために,複数のフューザを用いた。しかし,複数のフューザのメンテナンスは,企業DevOpsセットアップにおいて,スキル,時間,およびパッチングに要求される努力,そしてそれらを今日までに維持することにおいて,禁止的に困難になる。したがって,著者らは,LLVM IRを用いて,異なるプログラミング言語で書かれたスマート契約に単一ファジィを使用する新しい脆弱性検出フレームワークを提案した。本論文では,ファジィツールAFL++とHongfuzzを用いてHyperedger Fabricスマート契約を試験することにより提案フレームワークを検証し,その結果を示した。Copyright 2022 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *言語 ,  プログラミング言語 ,  応用プログラム ,  ソフトウェア障害 ,  曖昧さ ,  保守管理
準シソーラス用語： 脆弱性 ,  LLVM , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： エンタープライズ ,  契約 ,  ファジィ化 ,  言語