Modelingfreshness concept to overcome replay attackin Kerberos protocol using NuSMV

Shreya Adyanthaya, Shilpa Rukmangada, Amrish Tiwari, Sanjay Singh

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

Today with the tremendous growth in the era of networking, the services provided to users have become diverse. In suc h a distributed environment, multiple user scan access multiple services simultaneously. It has therefore become essential to provide security to the services being provided along with the identity of the users. Various security protocols have been proposed and used over the years and have evolved into better versions with time. In this paper, we present a simple way to perform symbolic model checking of a widely used security protocol called the Kerberos protocol, mainly a network authentication protocol, using the NuSMV model checker. It also demonstrates how the use of the freshness concept helps to overcome a common security attack called the Replay attack in the protocol.

Original languageEnglish
Title of host publication2010 International Conference on Computer and Communication Technology, ICCCT-2010
Pages125-129
Number of pages5
DOIs
Publication statusPublished - 30-12-2010
Event2010 International Conference on Computer and Communication Technology, ICCCT-2010 - Allahabad, India
Duration: 17-09-201019-09-2010

Conference

Conference2010 International Conference on Computer and Communication Technology, ICCCT-2010
CountryIndia
CityAllahabad
Period17-09-1019-09-10

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Information Systems
  • Communication

Cite this

Adyanthaya, S., Rukmangada, S., Tiwari, A., & Singh, S. (2010). Modelingfreshness concept to overcome replay attackin Kerberos protocol using NuSMV. In 2010 International Conference on Computer and Communication Technology, ICCCT-2010 (pp. 125-129). [5640425] https://doi.org/10.1109/ICCCT.2010.5640425