文献

J-GLOBAL ID：202102279364288232   整理番号：21A0273760

マッチングルールに基づくブロックチェーンスマート契約脆弱性とコード監査ツールの研究【JST・京大機械翻訳】

Research on Blockchain Smart Contracts Vulnerability and A Code Audit Tool based on Matching Rules

著者 (6件)： Li Ziyuan (National University of Defense Technology, College of Electronic Science and Technology, Changsha, China) ,  Guo Wangshu (National University of Defense Technology, College of Electronic Science and Technology, Changsha, China) ,  Xu Quan (National University of Defense Technology, College of Electronic Science and Technology, Changsha, China) ,  Xu Yingjie (National University of Defense Technology, College of Electronic Science and Technology, Changsha, China) ,  Wang Huimei (National University of Defense Technology, College of Electronic Science and Technology, Changsha, China) ,  Xian Ming (National University of Defense Technology, College of Electronic Science and Technology, Changsha, China)
資料名： ACM Proceedings  (ACM Proceedings)
号： CIAT 2020  ページ： 484-489  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： マルチ技術統合の新しいサービスアーキテクチャとして,ブロックチェーンは,安全で改ざんなプログラミングを実行するスマート契約のため,公衆の注意を引く。しかしながら,このアーキテクチャの複雑性のため,ブロックチェーンに対してエンドレス攻撃が存在する。ブロックチェーンの応用層プロトタイプとしてのスマート契約は,より厳しいセキュリティリスクに直面した。本論文は,近年,スマート契約のセキュリティ事象を詳細にリストして,いくつかの一般的攻撃モードをまとめて,次にそれらの原理を導入して,共通性を分析した。最後に,マッチング規則に基づく契約コード監査ツールのオリジナルバージョンを与えた。ツールは,契約が展開の前に完全な監査プロセスを有することを確実にすることができて,不十分なプログラミングによって引き起こすDApp脆弱性を減少した。さらに,マッチングルールライブラリはカスタマイズをサポートし,その監査能力を高めるためにツールをタイムリーに更新できる。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *計算機アーキテクチャ ,  セキュリティ ,  カスタム化 ,  プロトタイプ ,  複雑性 ,  アプリケーション層 ,  ブロックチェーン ,  行為
準シソーラス用語： 脆弱性 ,  共通性 ,  エンドレス , 【Automatic Indexing@JST】

著者キーワード (3件)： 監査ツール ,  ブロックチェーン ,  スマート契約脆弱性

分類 (1件)： データ保護  (JD01020V)

タイトルに関連する用語 (7件)： マッチング ,  ルール ,  契約 ,  脆弱性 ,  監査 ,  ツール ,  研究