Using ASCENS tools and methods Sample Clauses

Using ASCENS tools and methods. ‌ The use of ASCENS methods on the case studies is reported mainly in the deliverables [CLM+13] and [KBC+13]. We sum up the relevant methods here, which are all, except one, described in [KBC+13]. Analysis of Denial-Of-Service Attacks In the verification step of the EDLC, we have investigated the problem of distributed Denial-of-Service (dDoS) attacks which are relevant for all connected sys- tems. Two formal patterns have been identified which can serve as defenses against such attacks (this method is described in [CLM+13]). Verification of Routing Procedures in Pastry Also in [CLM+13], the network layer of the science cloud implementation, Pastry, has been modeled in κNCPi. The specific emphasis here has been put on formalizing the conditions for ensuring that messages reach there target within Pastry.