@inproceedings{weko_223119_1,
   author	 = "白矢,琢朗 and 竹内,信幸 and 阪本,光星 and 五十部,孝典",
   title	 = "混合整数線形計画法を用いたAEGIS/Tiaoxin-346/Roccaに対する安全性評価",
   booktitle	 = "コンピュータセキュリティシンポジウム2022論文集",
   year 	 = "2022",
   volume	 = "",
   number	 = "",
   pages	 = "464--471",
   month	 = "oct"
}