| |
| 1997 | ||
|---|---|---|
| 2 | Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi: Formal Automatic Verification of Authentication Crytographic Protocols. ICFEM 1997: 50-59 | |
| 1 | EE | Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi: From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. WETICE 1997: 256-262 |
| 1 | Mourad Debbabi | [1] [2] |
| 2 | Mohamed Mejri | [1] [2] |
| 3 | Nadia Tawbi | [1] [2] |