A Verification Tool for Authentication Protocols.

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)296-307
Number of pages12
JournalComputer Software
Volume19
Issue number4
DOIs
Publication statusPublished - Jan 2002

Cite this