@techreport{weko_194931_1, author = "長谷,亮 and 松浦,陽平", title = "パブリッククラウドでの情報システム構築におけるGSNを活用したセキュリティ要件のトレーサビリティ実現手法", year = "2019", institution = "三菱電機株式会社, 三菱電機株式会社", number = "5", month = "feb" }