Game Semantics Model for Security Protocols.

Mourad Debbabi, Mohamed Mostafa Saleh

Browse the full ICFEM paper archive.