Automatic Detection of Attacks on Cryptographic Protocols: A Case Study.

Ivan Cibrario Bertolotti Luca Durante Riccardo Sisto Adriano Valenzano

Published in: DIMVA (2005)

Keyphrases

automatic detection
cryptographic protocols
security protocols
standard model
security properties
automatically detecting
insider attacks
authentication protocol
diabetic retinopathy
real time
anomaly detection
intrusion detection
encryption decryption