PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols.

Johann Schumann

Published in: CAV (1999)

Keyphrases

automatic analysis
authentication protocol
smart card
lightweight
vessel tree
real time
image compression
public key