| 講演名 | 2020-03-02 Alloy Analyzerを活用したInfrastructure as Codeの正当性検証 長谷 亮(三菱電機), 松浦 陽平(三菱電機), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | |
| 抄録(英) | |
| キーワード(和) | |
| キーワード(英) | |
| 資料番号 | ICSS2019-71 |
| 発行日 | 2020-02-24 (ICSS) |
| 研究会情報 | |
| 研究会 | ICSS / IPSJ-SPT |
|---|---|
| 開催期間 | 2020/3/2(から2日開催) |
| 開催地（和） | 沖縄県青年会館 |
| 開催地（英） | Okinawa-Ken-Seinen-Kaikan |
| テーマ（和） | セキュリティ、トラスト、一般 |
| テーマ（英） | Security, Trust, etc. |
| 委員長氏名（和） | 高倉 弘喜(NII) |
| 委員長氏名（英） | Hiroki Takakura(NII) |
| 副委員長氏名（和） | 吉岡 克成(横浜国大) / 神谷 和憲(NTT) |
| 副委員長氏名（英） | Katsunari Yoshioka(Yokohama National Univ.) / Kazunori Kamiya(NTT) |
| 幹事氏名（和） | 笠間 貴弘(NICT) / 山田 明(KDDI labs.) |
| 幹事氏名（英） | Takahiro Kasama(NICT) / Akira Yamada(KDDI labs.) |
| 幹事補佐氏名（和） | 木藤 圭亮(三菱電機) / 山内 利宏(岡山大) |
| 幹事補佐氏名（英） | Keisuke Kito(Mitsubishi Electric) / Toshihiro Yamauchi(Okayama Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Information and Communication System Security / Special Interest Group on Security Psychology and Trust |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | Alloy Analyzerを活用したInfrastructure as Codeの正当性検証 |
| サブタイトル（和） | |
| タイトル（英） | A Verification Method of Infrastructure as Code using Alloy Analyzer |
| サブタイトル（和） | |
| キーワード(1)（和/英） | |
| 第 1 著者 氏名（和/英） | 長谷 亮 / Ryo Hase |
| 第 1 著者 所属（和/英） | 三菱電機株式会社(略称：三菱電機) Mitsubishi Electric Corporation(略称：Mitsubishi Electric) |
| 第 2 著者 氏名（和/英） | 松浦 陽平 / Yohei Matsuura |
| 第 2 著者 所属（和/英） | 三菱電機株式会社(略称：三菱電機) Mitsubishi Electric Corporation(略称：Mitsubishi Electric) |
| 発表年月日 | 2020-03-02 |
| 資料番号 | ICSS2019-71 |
| 巻番号（vol） | vol.119 |
| 号番号（no） | ICSS-437 |
| ページ範囲 | pp.19-24(ICSS), |
| ページ数 | 6 |
| 発行日 | 2020-02-24 (ICSS) |