Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Formal analysis of distance bounding with secure hardware - MaRDI portal

Formal analysis of distance bounding with secure hardware

From MaRDI portal

Publication:1656075

Jump to:navigation, search

DOI10.1007/978-3-319-93387-0_30zbMath1440.94097OpenAlexW2807286811MaRDI QIDQ1656075

Serge Vaudenay, Handan Kılınç

Publication date: 10 August 2018

Full work available at URL: https://infoscience.epfl.ch/record/256167/files/model.pdf

zbMATH Keywords

RFID relay attack distance bounding NFC tamper resistance terrorist fraud

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Authentication, digital signatures and secret sharing (94A62)

This page was built for publication: Formal analysis of distance bounding with secure hardware

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1656075&oldid=13966790"