Untersuchung von Sicherheitsmodellen für IT-Sicherheitssysteme, die eine zuverlässige Evaluierung nach bestimmten Sicherheitskriterien erlauben.

• Antragsteller: Professor Dr. Johannes Köbler
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2002 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5375641

Das Projekt dient der Untersuchung der Beschreibungen solcher Modelle, die eine zuverlässige und verifizierbare Evaluierung nach bestimmten Sicherheitskriterien ermöglichen. Bisherige Sicherheitsmodelle verwenden überwiegend informelle und semifomale Beschreibungen, bei denen Implementationsfehler und Sicherheitslücken nur schwer erkannt werden. Im Projekt werden existierende generische formale Sicherheitsmoedlle bezüglich ihrer Eigenschaften verglichen und bezüglich den Anforderungen der standardisierten internationalen Evaluationskriterien "Common Criteria" untersucht. Darauf aufbauend wird für eine Anwendung aus dem Bereich der elektronischen Signatur und biometrischer Identifikationsverfahren ein vorhandenes formales Modell erweitert oder neu entwickelt. Das Projekt soll gemeinschaftlich von T-Systems Nova GmbH und der Humboldt-Universität zu Berlin bearbeitet werden.

• DFG-Verfahren: Sachbeihilfen