Title: Sicherheitsmodellierung und Zugriffskontrolle in verteilten Systeme