Log Analysis of Exploitation in Cloud Computing Environment Using Automated Reasoning. - Ruo Ando; Kang Byung; Youki Kadobayashi (ICONIP (2), 2010)