Formal verification of security protocol implementations: a survey

  • 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.
TitleFormal verification of security protocol implementations: a survey
Publication TypeJournal Article
AuthorsAvalle, M., A. Pironti, and R. Sisto
AttachmentSize
cf11.pdf409.27 KB