著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 小櫻 文彦 and 藤本 真吾 and 野村 佳秀 and 山下 一寛,ブロックチェーンの信頼性を向上する脅威分析手法およびスマートコントラクト検証,Fujitsu : 技術情報誌,00162515,川崎 : 富士通,2019-09,70,4,28-34,https://cir.nii.ac.jp/crid/1523388080819481728,