ALETHEIA: Improving the Usability of Static Security Analysis.

Omer Tripp Salvatore Guarnieri Marco Pistoia Aleksandr Y. Aravkin

Published in: CCS (2014)

Keyphrases

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