On Automated Detection of Multi-Protocol Attacks Using AVISPA.

Varun Garg Anish Mathuria

Published in: ICISS (2017)

Keyphrases

automated detection
cryptographic protocols
automated analysis
security protocols
lung cancer
secure routing
denial of service attacks
ultrasonic images
lightweight
countermeasures
cryptographic algorithms
data mining
statistical models
authentication protocol
dermoscopy images