Formal Verification of Encrypted Communication in spi-Calculus

研究成果: Article査読

本文言語English
ページ(範囲)607-616
ページ数10
ジャーナルComputer Software
20
6
DOI
出版ステータスPublished - 2003
外部発表はい

ASJC Scopus subject areas

  • ソフトウェア

引用スタイル