This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
|
||||||||
|
Paper Details
Paper Title
Verification of Security Protocols Using ProVerif
Authors
Jayana C. Kaneriya, Jalpa Khamar, Avani Dadhania
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.
Keywords- Security Protocols
Publication Details
Unique Identification Number - IJEDR1702065Page Number(s) - 380-385Pubished in - Volume 5 | Issue 2 | April 2017DOI (Digital Object Identifier) - Publisher - IJEDR (ISSN - 2321-9939)
Cite this Article
Jayana C. Kaneriya, Jalpa Khamar, Avani Dadhania, "Verification of Security Protocols Using ProVerif", International Journal of Engineering Development and Research (IJEDR), ISSN:2321-9939, Volume.5, Issue 2, pp.380-385, April 2017, Available at :http://www.ijedr.org/papers/IJEDR1702065.pdf
Article Preview
|
|
||||||
|
|
||||||||
