Formal Verification of Encrypted Communication in spi-Calculus

Research output: Contribution to journalArticlepeer-review

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

ASJC Scopus subject areas

  • Software

Cite this