Informationstechnische Systeme sind heute aus dem Leben nicht mehr wegzudenken. In relativ kurzer Zeit und in unterschiedlichsten Lebensbereichen hat der Gebrauch von IT-Systemen zu Abhngigkeiten zwischen diesen Systemen und dem erwarteten Funktionieren der automatisierten Prozesse gefhrt. Diese Wechselwirkungen sind verschieden gro, abhngig von den Eigenschaften des betreffenden IT-Systems, der Umgebung des IT-Systems sowie der Art und Intensitt seines Gebrauchs. Ein Bewertungsmastab, den insbesondere Benutzer und Betreiber eines IT Systems an die erwartungsgeme Untersttzung der automatisierten Prozesse anlegen, wird durch den Begriff Verllichkeit charakterisiert. Verllichkeit umfat ein Bndel von Systemeigenschaften, die ber die klassischen Sicherheitsanforderungen der Verfgbarkeit, Integritt und Vertraulichkeit hinausgehen. Hinzu treten mindestens noch Forderungen bezglich der Durchschaubarkeit der Wirkungen einer Benutzer-Aktion und umgekehrt der Rckverfolgbarkeit einer Wirkung zu den auslsenden Aktionen und Personen. Ein umfassendes Kriterium ist die Verantwortbarkeit der Nutzung eines IT Systems unter verschiedenen Aspekten wie z.B. der Wahrung von Persnlichkeitsrechten, sicherheitstechnischer Anforderungen oder der Realisierung von Unternehrnenszielen. Verllichkeitskriterien sind ein Schlssel fr das Vertrauen, das Benutzer und Betreiber in technische Systeme setzen. Sie sind damit zu Akzeptanzkriterien fr technische Systeme geworden. Verllichkeitskriterien sowie Methoden und Techniken zur Durchsetzung von Verllichkeit sind bisher meist im eingeschrnkten Kontext der Systemsicherheit diskutiert worden. Verllichkeit verlangt aber nicht nur Schutz vor unberechtigten Zugriffen auf Daten oderFunktionen, sondern z.B. auch die (mathematisch) beweisbare oder die (technisch) garantierbare Funktionalitt eines Systems.