Formal Verification of Encrypted Communication in spi-Calculus

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)607-616
Number of pages10
JournalComputer Software
Volume20
Issue number6
DOIs
Publication statusPublished - 2003 Jan 1
Externally publishedYes

ASJC Scopus subject areas

  • Software

Cite this