|
|||||
|
|
Formale Sicherheitsanalyse von Online-Banking-Protokollen |
|
| Authors: | Hans-Joachim Knobloch |
| Abstract: | Für die Verifikation kryptographischer Protokolle hat sich die von Burrows, Abadi und Needham 1989 entwickelte BAN-Logik bew?hrt 1]. Der Beitrag unterzieht die Online-Banking-Protokolle mit iTAN und Token einer solchen semi-formalen Analyse mit BAN-Logik — und kommt zu interessanten Ergebnissen. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |