A formal analysis for security protocol against DoS attacks

Abstract:

As DoS attacks lead to an increasing risk to the availability of protocol, Some effective methods are required to analyze the antiDoS performance of security protocols. However, the current proposed methods for analyzing the antiDoS performance of security protocols have some shortcomings, some can only analyze a part of DoS attacks, and some only focus on the agreement of computing resources consumption, while ignoring the consumption of storage resources. In view of the above deficiencies, this paper extends the strand space model with introducing the message correlation set and the cost function, and proposes a new method to analyze the antiDoS performance of the security protocol. Detailed anti DoS performance analysis is presented for the JFK protocol by the new proposed method in the paper.