スマートシティの交通管理システムのためのサリマベースのサイバーリスク評価および緩和モデル(Scram) | Synapse