Finite models for formal security proofs - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Computer Security Année : 2010

Finite models for formal security proofs

Fichier principal
Vignette du fichier
h1mcjfinal-hal.pdf (508.72 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03191105 , version 1 (09-06-2021)

Identifiants

Citer

Jean Goubault-Larrecq. Finite models for formal security proofs. Journal of Computer Security, 2010, 18 (6), pp.1247-1299. ⟨10.3233/JCS-2009-0395⟩. ⟨hal-03191105⟩
10 Consultations
104 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More