Home | Impressum | Sitemap | KIT

Kontakt

Institut für Theoretische Informatik

Arbeitsgruppe Kryptographie und Sicherheit

Carmen Manietta

Am Fasanengarten 5

Geb. 50.34

D-76131 Karlsruhe

Tel.: + 49 721 608-44213

Fax: + 49 721 608-55022

E-Mail: crypto-infoJxj5∂iti kit edu

 

Veröffentlichung

Sieben Thesen zur IT-Sicherheit

PDF herunterladen

Professor Beckert beschäftigt sich mit formaler Logik und logikbasierten Techniken. Diese kommen bei der Spezifikation, Entwurf, Entwicklung und Verifikation von Software- und Hardware-Systemen zum Einsatz. Das Ziel ist es, die Zuverlässigkeit und Sicherheit von Systemen zu erhöhen. Diese Herangehensweise ist insbesondere für kritische Systeme notwendig, um sicherzustellen, dass durch den Entwicklungsprozess keine neuen Fehler entstehen.