Visual Model-Driven Design, Verification and Implementation of Security Protocols

  • 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.
TitleVisual Model-Driven Design, Verification and Implementation of Security Protocols
Publication TypeConference Paper
AuthorsBettassa Copet, P., A. Pironti, D. Pozza, R. Sisto, and P. Vivoli
AttachmentSize
hase12.pdf3.19 MB