Title: Analyse Sicherheitsrelevanter Verteilter Systeme