On the exploitation of process mining for security audits · Study