Zur Kurzanzeige

dc.contributor.authorTrommler, Peter
dc.date.accessioned2023-03-03T11:25:12Z
dc.date.available2023-03-03T11:25:12Z
dc.date.issued2016
dc.identifier.issn0720-8928
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/40679
dc.description.abstractAngriffe 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.de
dc.language.isode
dc.publisherGeselllschaft für Informatik e.V.
dc.relation.ispartofSoftwaretechnik-Trends Band 36, Heft 3
dc.titleDas Nürnberger Anti-Phishing-Device: Beweisbare Korrektheit durch Einfachheitde
dc.typeJournal Articles
dc.pubPlaceBonn
mci.conference.sessiontitleBerichte aus den Fachgruppen und Arbeitskreisen


Dateien zu dieser Ressource

Thumbnail

Zur Kurzanzeige