A Formal Security Analysis of Session Resumption Across Hostnames.

Kai Gellert Tobias Handirk

Published in: ESORICS (1) (2021)

Keyphrases

security analysis
security requirements
public key
smart card
encryption scheme
security model
security properties
high security
mutual authentication
authentication protocol
formal model
image encryption
access control
user authentication