![](/img/cover-not-exists.png)
[IEEE 14th IEEE Computer Security Foundations Workshop, 2001. - Cape Breton, Novia Scotia, Canada (11-13 June 2001)] Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001. - Log auditing through model-checking
Roger, M., Goubault-Larrecq, J.Year:
2001
Language:
english
DOI:
10.1109/csfw.2001.930148
File:
PDF, 1.43 MB
english, 2001