On the Struggle Bus: A Detailed Security Analysis of the m-tickets App.

Jorge Sanz Maroto Haoyu Liu Paul Patras

Published in: ISC (2020)

Keyphrases

security analysis
smart card
public key
security requirements
security properties
high security
image encryption
security model
authentication protocol
user authentication
encryption algorithm
information security
encryption scheme
private key
authentication scheme
mutual authentication