Which one of the following tools would be best suited for the task that Brian would like to adopt a security technology to assist with log aggregation, correlation, and analysis?