From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm.

Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi

Browse the full WETICE paper archive.