Abstract
The huge damage of denial of service attacks in security protocols attracts researchers’ attention and effort to analysis, verification and prevention of denial of service attacks. In order to model resistance of denial of service attacks, firstly, we extend applied pi calculus from both adversary context and processes aspects; secondly, the first computer-aided method of resistance of denial of service attacks based on event is proposed from the angle of state in security protocols by us; finally, the analysis using ProVerif indicates that JFK protocol is against of denial of service attacks but IEEE 802.11 i four-way handshake protocol is not, and simultaneously, a new denial of service attack is firstly detected , together with methods to prevent it in IEEE 802.11 i four-way handshake protocol .
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have