TARZAN: An Integrated Platform for Security Analysis.

Marek Rychlý Ondrej Rysavý

Published in: FedCSIS (2017)

Keyphrases

security analysis
smart card
security requirements
public key
high security
security properties
security model
image encryption
mutual authentication
encryption scheme
authentication protocol
encryption algorithm
private key
real time
data mining
quadtree