Title :
Log auditing through model-checking
Author :
Roger, Muriel ; Goubault-Larrecq, Jean
Author_Institution :
INRIA Rocquencourt
Keywords :
Data mining; Electronic mail; Event detection; Filtering; Information security; Intrusion detection; Logic programming; Monitoring; Postal services; Writing;
Conference_Titel :
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE
Print_ISBN :
0-7695-1147-3
DOI :
10.1109/CSFW.2001.930148
