Log Auditing Through Model Checking. (2001)

by Muriel Roger, Jean Goubault-Larrecq
Venue:In Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW’01),