Volume 7 Number 4 (Apri. 2012)
Home > Archive > 2012 > Volume 7 Number 4 (Apri. 2012) >
JCP 2012 Vol.7(4): 890-899 ISSN: 1796-203X
doi: 10.4304/jcp.7.4.890-899

Verification of Resistance of Denial of Service Attacks in Extended Applied Pi Calculus with ProVerif

Bo Meng, Wei Wang, Wei Chen
School of Computer, South-Center University for Nationalities, Wuhan, China
Abstract—Owning to the damage of denial of service attacks in security protocols, resistance of denial of service attacks plays an important role in remote voting protocols. Recently Meng et al. proposed a secure remote internet voting protocol that claims to satisfy formal definitions of key properties without physical constrains. In this study firstly the review of the formal model of resistance of denial of service attacks in security protocols is introduced, then extended applied pi calculus and Huang et al. formal model are reviewed, after that Meng et al. protocol is modeled in extended applied pi calculus, finally resistance of denial of service attacks is proved with ProVerif. The result we obtain is that Meng et al. protocol is not resistance of denial of service attacks because one denial of service attack is found. At the same time we also propose a method to prevent it from the denial of service attack. To our best knowledge, we are conducting the first mechanized proof of resistance of denial of service attacks in Meng et al. protocol for an unbounded number of honest and corrupted voters.

Index Terms—Protocol security, automatic verification, protocol state, symbolic model, availability.

[PDF]

Cite: Bo Meng, Wei Wang, Wei Chen, "Verification of Resistance of Denial of Service Attacks in Extended Applied Pi Calculus with ProVerif," Journal of Computers vol. 7, no. 4, pp. 890-899, 2012.

General Information

ISSN: 1796-203X
Abbreviated Title: J.Comput.
Frequency: Bimonthly
Editor-in-Chief: Prof. Liansheng Tan
Executive Editor: Ms. Nina Lee
Abstracting/ Indexing: DBLP, EBSCO,  ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat,etc
E-mail: jcp@iap.org
  • Nov 14, 2019 News!

    Vol 14, No 11 has been published with online version   [Click]

  • Mar 20, 2020 News!

    Vol 15, No 2 has been published with online version   [Click]

  • Dec 16, 2019 News!

    Vol 14, No 12 has been published with online version   [Click]

  • Sep 16, 2019 News!

    Vol 14, No 9 has been published with online version   [Click]

  • Aug 16, 2019 News!

    Vol 14, No 8 has been published with online version   [Click]

  • Read more>>