Skip to Main content Skip to Navigation
Conference papers

Log Auditing through Model Checking

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03207079
Contributor : Jean Goubault-Larrecq <>
Submitted on : Friday, April 23, 2021 - 8:47:46 PM
Last modification on : Sunday, May 2, 2021 - 3:27:23 AM

Identifiers

  • HAL Id : hal-03207079, version 1

Citation

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⟩

Share

Metrics

Record views

16