Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models
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.
Thu, 12/10/2009 - 19:52 — alfredo
Title
Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models