Telecharger Cours

Formal Security Proofs of Cryptographic Standards

Abstract. L'objectif des mod`eles de sécurité est de donner une expression des besoins de sécurité des syst`emes d'informations (SI).



Download