Siebter Workshop über formale und rechnerische Kryptographie, Paris, Frankreich
30 Juni 2011 - 30 Juni 2011
Frankreich
Am 30. Juni 2011 findet in Paris, Frankreich, der siebte Workshop über formale und rechnerische Kryptographie (Seventh Workshop on Formal and Computational Cryptography) statt.
Seit den 1980er Jahren dienen zwei Ansätze der Analyse von Sicherheitsprotokollen und Systemen, die von der Kryptographie abhängen. Einer der Ansätze basiert auf einem Rechenmodell, das Fragen der rechnerischen Komplexität und Wahrscheinlichkeit berücksichtigt. Der andere Ansatz basiert auf einem symbolischen Modell der Protokollausführung, in dem Nachrichten mithilfe von Algebra und kryptographischen Begriffen modelliert werden, die als perfekte "Black Boxes" behandelt werden. Jeder der beiden Ansätze bringt jedoch analytische Schwierigkeiten und Probleme mit sich.
Die Veranstaltung konzentriert sich auf Ansätze und Projektergebnisse, die symbolische und rechnerische Protokollanalyse kombinieren und zueinander in Bezug setzen. Eine Ergebnisreihe formuliert zwischen den beiden Modellen korrespondierende Theoreme und zeigt in der Tat, dass für eine bestimmte Klasse von Protokollen und Eigenschaften Sicherheit im symbolischen Modell gleichbedeutend ist mit Sicherheit im rechnerischen Modell. In anderen Projekten verwenden die Forscher sprachbasierte Techniken wie Prozesskalküle, Typensysteme und Protokolllogik, um direkt über das Rechenmodell zu argumentieren. Darüber hinaus werden Wege gesucht, auf denen rechnerisch eindeutige Beweise für kryptographische Mechanismen mechanisiert werden können.
Der Workshop findet zusammen in Koordination mit dem Computer Security Foundations Symposium 2011 statt.Weitere Informationen unter: http://www.cs.ut.ee/~unruh/fcc2011/(öffnet in neuem Fenster)
Seit den 1980er Jahren dienen zwei Ansätze der Analyse von Sicherheitsprotokollen und Systemen, die von der Kryptographie abhängen. Einer der Ansätze basiert auf einem Rechenmodell, das Fragen der rechnerischen Komplexität und Wahrscheinlichkeit berücksichtigt. Der andere Ansatz basiert auf einem symbolischen Modell der Protokollausführung, in dem Nachrichten mithilfe von Algebra und kryptographischen Begriffen modelliert werden, die als perfekte "Black Boxes" behandelt werden. Jeder der beiden Ansätze bringt jedoch analytische Schwierigkeiten und Probleme mit sich.
Die Veranstaltung konzentriert sich auf Ansätze und Projektergebnisse, die symbolische und rechnerische Protokollanalyse kombinieren und zueinander in Bezug setzen. Eine Ergebnisreihe formuliert zwischen den beiden Modellen korrespondierende Theoreme und zeigt in der Tat, dass für eine bestimmte Klasse von Protokollen und Eigenschaften Sicherheit im symbolischen Modell gleichbedeutend ist mit Sicherheit im rechnerischen Modell. In anderen Projekten verwenden die Forscher sprachbasierte Techniken wie Prozesskalküle, Typensysteme und Protokolllogik, um direkt über das Rechenmodell zu argumentieren. Darüber hinaus werden Wege gesucht, auf denen rechnerisch eindeutige Beweise für kryptographische Mechanismen mechanisiert werden können.
Der Workshop findet zusammen in Koordination mit dem Computer Security Foundations Symposium 2011 statt.Weitere Informationen unter: http://www.cs.ut.ee/~unruh/fcc2011/(öffnet in neuem Fenster)