Paper Title

Verification of Security Protocols Using ProVerif

Authors

  • Jayana C. Kaneriya
  • Jalpa Khamar
  • Avani Dadhania

Keywords

Security Protocols

Abstract

With the rise of the proliferation of the Internet and other open networks in the day-to-day life, the use of the security protocols therein has also been on rise and so is the need for devising newer security protocols. The security protocols are meant to provide secure communication. Before being deployed, the security protocols are required to be thoroughly tested to gain confidence in the same. However, as is known from the basic principles of Software Engineering, exhaustive testing is virtually impossible.

Article Type

Published

How To Cite

Jayana C. Kaneriya, Jalpa Khamar, Avani Dadhania. "Verification of Security Protocols Using ProVerif".INTERNATIONAL JOURNAL OF ENGINEERING DEVELOPMENT AND RESEARCH ISSN:2321-9939, Vol.5, Issue 2, pp.380-385, URL :https://rjwave.org/ijedr/papers/IJEDR1702065.pdf

Issue

Volume 5 Issue 2 

Pages. 380-385

Article Preview