Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) Fakultät für Informatik – Zentrum für Angewandte Rechtswissenschaft / Institut für Informationsrecht (ZAR)