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

• Applicant: Professor Dr. Johannes Köbler
• Subject Area: Theoretical Computer Science
• Term: from 2002 to 2006
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants