On Automated Detection of Multi-Protocol Attacks Using AVISPA.

Varun Garg, Anish Mathuria

Browse the full ICISS paper archive.