Log auditing through model-checking | IEEE Conference Publication | IEEE Xplore