I. Yahmadi

Publication Activity (10 Years)

Years Active: 1997-1997
Publications (10 Years): 0

Publications

Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi
Formal Automatic Verification of Authentication Crytographic Protocols. ICFEM (1997)
Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi
From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. WETICE (1997)