A Formal Analysis of 5G Authentication.
David A. BasinJannik DreierLucca HirschiSasa RadomirovicRalf SasseVincent StettlerPublished in: CCS (2018)
Keyphrases
- formal analysis
- ban logic
- biometric authentication
- fragile watermarking
- formal methods
- image authentication
- authentication scheme
- security analysis
- authentication protocol
- knowledge acquisition
- multimodal biometrics
- user authentication
- authentication mechanism
- data encryption
- black box
- building blocks
- knowledge based systems