Log Analysis of Exploitation in Cloud Computing Environment Using Automated Reasoning.

Recently server consolidation using virtualization leverages cloud computing. In cloud computing, we can apply centralized logging system using server consolidation. In this paper we propose a log analysis method in cloud computing environment using automated reasoning. On cloud computing providers, VM (virtual machine) monitoring is important to detect security incident. We discuss how to monitor VM, formatting and analyzing logs. Automated reasoning is more effective to retrieves information from large amount of log string. In proposed system, VM log is represented as clausal form and processed by FoL (First order Logic) theorem prover. We also present the numerical output of proposed system. [ABSTRACT FROM AUTHOR]