Metadata only
Datum
2019-11-11Typ
- Conference Paper
Publikationsstatus
publishedExterne Links
Buchtitel
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications SecuritySeiten / Artikelnummer
Verlag
Association for Computing MachineryKonferenz
Thema
Security protocols; Formal verification; Collusion; Distance bounding; Terrorist fraudOrganisationseinheit
03634 - Basin, David / Basin, David