Alloy Analyzerを活用したInfrastructure as Codeの正当性検証

• Item type: SIG Technical Reports(1)
• 公開日: 2020-02-24
• タイトル: Alloy Analyzerを活用したInfrastructure as Codeの正当性検証
• タイトル / 言語: en
• タイトル: A Verification Method of Infrastructure as Code using Alloy Analyzer
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 三菱電機株式会社
• 著者所属: 三菱電機株式会社
• 著者所属(英): en
• 著者所属(英): Mitsubishi Electric Corporation, Information Technology R&D Center
• 著者所属(英): en
• 著者所属(英): Mitsubishi Electric Corporation, Information Technology R&D Center
• 著者名: 長谷, 亮; 松浦, 陽平
• 著者名(英): Ryo, Hase; Yohei, Matsuura
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: パブリッククラウド上に構築された情報システムのセキュリティを向上するためには，計算機リソースの設定ミスを削減する仕組みが特に重要となる．手作業による設定ミスを防ぐ方法として，テキストに記載した仕様から計算機リソースを自動構築する Infrastructure as Code (IaC) がある．一方，IaC の設計で定義した仕様に誤りがあれば，構築した計算機リソースにも設定ミスが混入する．本稿では，形式手法のモデル検査を行うツールである Alloy Analyzer を活用した，IaC の設計時点で仕様の正当性を検証する方式の検討結果を報告する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: To enhance security of information systems developped using computing resouces in a public cloud, it is important to consider methods to avoid misconfiguration of the resources. One of the methods to prevent misconfiguration caused by manual setting is Infrastructure as Code (IaC), which automatically configures the resources using definitions specified in text files. However, IaC will also result in misconfiguration of the resources if the specification of IaC defined in a design process is not correct. This paper introduces a method to verify the specification of IaC in a design process using Alloy Analyzer, which is a model checking tool based on formal methods.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12628305
• 書誌情報: 研究報告セキュリティ心理学とトラスト（SPT）; 巻 2020-SPT-36, 号 4, p. 1-6, 発行日 2020-02-24
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8671
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会