User-Mediated Authentication Protocols and Unforgeability in Key Collision.

Published in: ProvSec (2018)

Keyphrases

authentication protocol
key distribution
user authentication
real time
security analysis
smart card
software engineering
formal model
digital signature