YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM.

Robert Künnemann Graham Steel

Published in: STM (2012)

Keyphrases

security analysis
smart card
public key
security requirements
high security
image encryption
security model
authentication protocol
encryption algorithm
user authentication
security properties
formal model
encryption scheme
proxy signature scheme
mutual authentication
formal methods
data management
real time