文献

J-GLOBAL ID：201802272314324843   整理番号：18A0728974

スマート契約のためのセキュリティ保証【JST・京大機械翻訳】

Security Assurance for Smart Contract

著者 (7件)： Zhou Ence ,  Hua Song ,  Pi Bingfeng ,  Sun Jun ,  Nomura Yashihide ,  Yamashita Kazuhiro ,  Kurihara Hidetoshi
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： NTMS  ページ： 1-5  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 現在,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・京大機械翻訳】

シソーラス用語： 投資 ,  金融 ,  位相幾何学 ,  暗号 ,  *セキュリティ
準シソーラス用語： 静的解析 ,  利便性 ,  脆弱性 ,  ソースコード ,  スクリプト , 【Automatic Indexing@JST】

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (3件)： 契約 ,  セキュリティ ,  保証