Validation of Cryptographic Protocols by Efficient Automated Testing.

Sigrid Gürgens René Peralta

Published in: FLAIRS Conference (2000)

Keyphrases

cryptographic protocols
cost effective
database
real time
similarity measure
image compression
lightweight
security properties