@techreport{weko_213650_1,
   author	 = "前田,志温 and 中林,美郷 and 奥田,哲矢",
   title	 = "セキュア光トランスポートNWの実現に向けたアーキテクチャ設計および形式検証による安全性評価",
   year 	 = "2021",
   institution	 = "東京大学, NTT社会情報研究所, NTT社会情報研究所",
   number	 = "19",
   month	 = "nov"
}