CASED Publikation
Identifying meaningless parameterized linear-temporal-logic formulas
Eric Bodden
Januar 2012.
Forschungsschwerpunkt IT-Sicherheit an der Hochschule Darmstadt
Die Hochschule Darmstadt arbeitet in den Fachbereichen Informatik und Media auf folgenden Gebieten der IT-Sicherheit:LOEWE-geförderte Themen sind rot markiert.
- Sicherheitsinfrastrukturen und –protokolle
- Public Key-Infrastrukturen
- Kerberos-basierte Infrastrukturen
- Malware: Klassifizierung, Erkennung, Beseitigung, Botnetze
- Biometrie: Signalverarbeitung, Mustererkennung, Authentisierung mit Mobilen Geräten, Zugangskontrolle, Template Protection
- Kryptographie (speziell mit elliptischen Kurven) und Anwendungen
- Security Awareness
- Benutzbarkeit von Sicherheitsprodukten
- Computerforensik
- Sicherheit von Web-Anwendungen
- Evaluierung der Sicherheit von IT-Systemen (Common Criteria)
- Sicherheit von Betriebssystemen
- Netzwerksicherheit
- Compliance und IT-Sicherheit
- Datenschutzrecht
Kontakt
Prof. Dr. Christoph Busch
h_da
Campus Dieburg
Max-Planck-Str.2
64807 Dieburg
Tel.: +49 6151 16 9444
Fax: +49 6151 16-4825
christoph.busch
h-da.de
Prof. Dr. Harald Baier
CASED
Mornewegstr. 32
64293 Darmstadt
Tel.: +49 6151 16 70488br /> Fax: +49 6151 16-4825
h.baier
fbi.h-da.de

