Ruo Ando, Kang Byung, Youki Kadobayashi. Log Analysis of Exploitation in Cloud Computing Environment Using Automated Reasoning. In Kok Wai Wong, B. Sumudu U. Mendis, Abdesselam Bouzerdoum, editors, Neural Information Processing. Models and Applications - 17th International Conference, ICONIP 2010, Sydney, Australia, November 22-25, 2010, Proceedings, Part II. Volume 6444 of Lecture Notes in Computer Science, pages 337-343, Springer, 2010. [doi]
Abstract is missing.