Komplexitätstheoretische und algorithmische Eigenschaften Boolescher Funktionen mit Bezug zur Kryptographie

参考密码学的布尔函数的复杂性理论和算法特性

• 批准号: 5326790
• 负责人: Professor Dr. Matthias Krause
• 金额: --
• 依托单位: Lehrstuhl für Theoretische Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2001
• 资助国家: 德国
• 起止时间: 2000-12-31 至 2007-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5326790?language=en
• 关键词: Komplexit; tstheoretische; und; algorithmische; Eigenschaften

Das Vorhaben zielt auf eine Weiterentwicklung der Komplexitätstheorie Boolescher Funktionen in zentralen Bereichen. Das betrifft erstens die Arbeit an Problemen bezüglich Berechnungskraft und algorithmischen Eigenschaften grundlegender nichtuniformer Berechnungsmodelle. Ein zweiter Schwerpunkt ist durch eine ansatzweise vorhandene Theorie gegeben, die die Schwierigkeit von Untere-Schranken- und Lernbarkeits-Problemen anhand kryptographischer Kriterien klassifiziert. Durch Aufdeckung weiterer allgemeiner Zusammenhänge und die Bestimmung der Komplexität kryptographischer Grundbausteine in verschiedenen Modellen soll diese Theorie verfeinert und ausgedehnt werden. Drittens sollen vor dem Hintergrund des Methodenreservoirs der Booleschen Komplexitätstheorie Beiträge zu Analyse und Design von Kryptosystemen erbracht werden. Das betrifft z.B. hardwareeffiziente Flusschiffren und Sicherheitsbeweise für kryptographische Protokollstrukturen.