Sicherheitsbeweis von Threemas Kommunikationsprotokoll
Was kryptografische Protokolle angeht, ist ein formaler Sicherheitsbeweis das Qualitätsmerkmal erster Güte. Deutsche Forscher liefern nun einen solchen Beweis für das Ibex-Protokoll und bestätigen damit, dass Threemas Sicherheit auf grundsolidem Fundament beruht.