Communication Dans Un Congrès
Année : 2001
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03207079
Soumis le : vendredi 23 avril 2021-20:47:46
Dernière modification le : mercredi 29 novembre 2023-15:28:04
Dates et versions
Identifiants
- HAL Id : hal-03207079 , version 1
Citer
Muriel Roger, Jean Goubault-Larrecq. Log Auditing through Model Checking. 14th IEEE Computer Security Foundations Workshop (CSFW'01), Jun 2001, Cape Breton, Canada. pp.220-236. ⟨hal-03207079⟩
Collections
16
Consultations
0
Téléchargements