Verification of Security Protocols Using ProVerif

Jayana C. Kaneriya , Jalpa Khamar , Avani Dadhania

Security Protocols

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.

Published Paper   E-Certificate

"Verification of Security Protocols Using ProVerif", IJEDR - INTERNATIONAL JOURNAL OF ENGINEERING DEVELOPMENT AND RESEARCH (www.IJEDR.org), ISSN:2321-9939, Vol.5, Issue 2, page no.380-385, April 2017, Available :https://rjwave.org/IJEDR/papers/IJEDR1702065.pdf

Volume 5 Issue 2, April-2017

Pages : 380-385

Paper Reg. ID: IJEDR_170273

Published Paper Id: IJEDR1702065

Downloads: 0001238

Research Area: Computer Engineering 

Country: Gandhinagar, Gujarat, India

Published Paper PDF: https://rjwave.org/IJEDR/papers/IJEDR1702065

Published Paper URL: https://rjwave.org/IJEDR/viewpaperforall?paper=IJEDR1702065

ISSN: 2321-9939 | IMPACT FACTOR: 7.37 Calculated By Google Scholar | ESTD YEAR: 2013

An International Scholarly Open Access Journal, Peer-Reviewed, Refereed Journal Impact Factor 7.37 Calculate by Google Scholar and Semantic Scholar | AI-Powered Research Tool, Multidisciplinary, Monthly, Multilanguage Journal Indexing in All Major Database & Metadata, Citation Generator

Publisher: IJEDR (IJ Publication) Janvi Wave

This work is licensed under a Creative Commons Attribution 4.0 International License and The Open Definition