スタックスネットスタイルの自律走行車マルウェアの数学的モデル | Synapse