Das Nürnberger Anti-Phishing-Device: Beweisbare Korrektheit durch Einfachheit

Zusammenfassung
Angriffe gegen das Online-Banking richten sich meist gegen den Rechner des Benutzers, sodass externe Geräte zum Schutz von Transaktionen verwendet werden. In diesem Beitrag wird das Nürnberger Anti-Phishing Device vorgestellt, das eine sichere Umgebung für die Erstellung digital unterschriebender Transaktionszusammenfassungen umsetzt. Durch die Beschränkung der Funktionalität auf des minimal Notwendige, ist eine formale Verifikation der Software möglich.
  • Vollständige Referenz
  • BibTeX
Trommler, P., (2016). Das Nürnberger Anti-Phishing-Device: Beweisbare Korrektheit durch Einfachheit.   Softwaretechnik-Trends Band 36, Heft 3. Bonn: Geselllschaft für Informatik e.V..
@inproceedings{mci/Trommler2016,
author = {Trommler, Peter},
title = {Das Nürnberger Anti-Phishing-Device: Beweisbare Korrektheit durch Einfachheit},
booktitle = {Softwaretechnik-Trends Band 36, Heft 3},
year = {2016},
editor = {},
publisher = {Geselllschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
01_Trommler.pdf149.9Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISSN: 0720-8928
Datum: 2016
Sprache: de (de)
Typ: Journal Articles
Sammlungen

Zur Langanzeige