Formal Automatic Verification of Authentication Crytographic Protocols.

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

Browse the full ICFEM paper archive.