Conference Papers
Year : 2001
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03207079
Submitted on : Friday, April 23, 2021-8:47:46 PM
Last modification on : Friday, May 17, 2024-4:22:03 PM
Dates and versions
Identifiers
- HAL Id : hal-03207079 , version 1
Cite
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
View
0
Download