ブロックチェーンの信頼性を向上する脅威分析手法およびスマートコントラクト検証(特集 研究開発最前線 : デジタル時代の信頼「Trust」 ; お客様に「Trust」を提供する技術)

• Material Type: 記事
• Title: ブロックチェーンの信頼性を向上する脅威分析手法およびスマートコントラクト検証
• Author/Editor: 小櫻 文彦; 藤本 真吾; 野村 佳秀; 山下 一寛
• Series Title: 特集 研究開発最前線 : デジタル時代の信頼「Trust」 ; お客様に「Trust」を提供する技術
• Author Heading: 小櫻 文彦; 藤本 真吾; 野村 佳秀; 山下 一寛
• Alternative Title: Threat Analysis Method and Smart Contract Verification to Improve Reliability of Blockchain
• Periodical title: Fujitsu : 技術情報誌
• No. or year of volume/issue: 70(4)=413:2019.9
• Volume: 70
• Issue: 4
• Sequential issue number: 413
• Pages: 28-34
• Publication date of volume/issue (W3CDTF): 2019-09
• ISSN (Periodical Title): 0016-2515
• ISSN-L (Periodical Title): 0016-2515
• Publication (Periodical Title): 川崎 : 富士通
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• NDLC: ZN33
• Target Audience: 一般
• Collection (particular): 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > その他; https://dl.ndl.go.jp/collections/B00035
• Access Restrictions: インターネット公開
• Availability of remote photoduplication service: 不可
• Holding library: 国立国会図書館
• Call No.: Z16-229
• Related Material (URI): https://dl.ndl.go.jp/info:ndljp/pid/11525394
• Related Material (Persistent ID (NDL)): info:ndljp/pid/11525394; https://dl.ndl.go.jp/info:ndljp/pid/11525394
• Data Provider (Database): 国立国会図書館 : 国立国会図書館雑誌記事索引; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 030023464; http://id.ndl.go.jp/bib/030023464
• Bibliographic Record Category (NDL): 632