Engineering Research Publication
Cloud security is one of most key concerns that have involved a lot of research and development power in past years. Predominantly, attackers can discover susceptibilities of a cloud system and conciliation virtual machines to organize auxiliary large-scale Distributed Denial-of-Service (DDoS). DDoS attacks typically include early stage actions such as multistep exploitation, low-frequency susceptibility scanning and compromising identified vulnerable virtual machines as zombies and finally DDoS attacks through the conceded zombies. However, it is also well known that model checkers suffer from scalability problems and there is good cause to doubt whether a model checker can grip openly a genuine set of deeds for even a modest sized network.