抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
現在,BitcoinとEtherumは,2つの最も一般的な暗号化システム,特にEthereumである。それは,スマート契約と呼ばれるスクリプトを通して複雑な金融取引または規則を可能にする。Etherumスマート契約は数百万ドルを保持しているので,それらの実行の正当性は資産をstealingすることを目的とする攻撃に対して重要である。本論文では,潜在的なセキュリティリスクを見出すために,スマート契約ソースコードに対するセキュリティ保証法を提案した。それは,2つの主な機能を含み,第1は,スマート契約投資関係の構文トポロジー解析であり,それらのコード構造を明確に理解するために,開発者を助ける。第二は,論理リスク(脆弱性につながる可能性がある)検出と位置,およびトポロジー図に関するラベル結果である。開発者の利便性のために,著者らは,SASCと呼ばれる静的解析ツールを構築し,投資関係のトポロジー図を生成し,潜在的論理リスクを見出した。著者らは2,952のスマート契約に関する評価を行い,実験結果は著者らの方法が直感的で効果的であることを証明した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【JST・京大機械翻訳】