mercure: tool for security managers