Flaw and Configuration Analysis of Cloud Component Using First Order Logic | IEEE Conference Publication | IEEE Xplore