第56回プログラミングシンポジウム「脅威トレースのためのシステムモデル記述言語の実装」