論文

基本情報

氏名 大矢野 潤
氏名(カナ) オオヤノ ジュン
氏名(英語) OYANO, Jun
所属 政策情報学部
職名 教授
researchmap研究者コード
researchmap機関

題名

スマートコントラクトの安全性と公平性の保証

単著・共著の別

単著

概要

本論文では、イーサリアムブロックチェーン上のスマートコントラクトの実装例として紹介されているSafe Remote Purchaseアルゴリズムを代表的なモデル検査器であるSPINのプロセス記述言語Promelaに変換し、安全性と公平性の検討を行った。

発行雑誌等の名称

国府台経済研究

巻・号・掲載ページ(移行用)

発行又は発表の年月

2021/03