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

Network protocols
networking
Model checking
Computer networks
Authentication
time

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
Adyanthaya, Shreya ; Rukmangada, Shilpa ; Tiwari, Amrish ; Singh, Sanjay. / Modelingfreshness concept to overcome replay attackin Kerberos protocol using NuSMV. 2010 International Conference on Computer and Communication Technology, ICCCT-2010. 2010. pp. 125-129
@inproceedings{b659cb4b60ba436e8c88dcf1d5bc4956,
title = "Modelingfreshness concept to overcome replay attackin Kerberos protocol using NuSMV",
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.",
author = "Shreya Adyanthaya and Shilpa Rukmangada and Amrish Tiwari and Sanjay Singh",
year = "2010",
month = "12",
day = "30",
doi = "10.1109/ICCCT.2010.5640425",
language = "English",
isbn = "9781424490349",
pages = "125--129",
booktitle = "2010 International Conference on Computer and Communication Technology, ICCCT-2010",

}

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., 5640425, pp. 125-129, 2010 International Conference on Computer and Communication Technology, ICCCT-2010, Allahabad, India, 17-09-10. https://doi.org/10.1109/ICCCT.2010.5640425

Modelingfreshness concept to overcome replay attackin Kerberos protocol using NuSMV. / Adyanthaya, Shreya; Rukmangada, Shilpa; Tiwari, Amrish; Singh, Sanjay.

2010 International Conference on Computer and Communication Technology, ICCCT-2010. 2010. p. 125-129 5640425.

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

TY - GEN

T1 - Modelingfreshness concept to overcome replay attackin Kerberos protocol using NuSMV

AU - Adyanthaya, Shreya

AU - Rukmangada, Shilpa

AU - Tiwari, Amrish

AU - Singh, Sanjay

PY - 2010/12/30

Y1 - 2010/12/30

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=78650530667&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78650530667&partnerID=8YFLogxK

U2 - 10.1109/ICCCT.2010.5640425

DO - 10.1109/ICCCT.2010.5640425

M3 - Conference contribution

AN - SCOPUS:78650530667

SN - 9781424490349

SP - 125

EP - 129

BT - 2010 International Conference on Computer and Communication Technology, ICCCT-2010

ER -

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