Verifying Security Properties of Cryptoprotocols: A Novel Approach.

Mohamed Mostafa Saleh, Mourad Debbabi

Browse the full SEFM paper archive.