Provably Correct Java Implementations of Spi Calculus Security Protocols Specifications

  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
TitleProvably Correct {J}ava Implementations of {S}pi {C}alculus Security Protocols Specifications
Publication TypeJournal Article
AuthorsPironti, A., and R. Sisto
AttachmentSize
cose10.pdf194.69 KB