ModelingFreshness Concept to overcome Replay Attack in Kerberos Protocol using NuSMV

Adyanthaya, Shreya and Rukmangada, Shilpa and Tiwari, Amrish and Singh, Sanjay (2010) ModelingFreshness Concept to overcome Replay Attack in Kerberos Protocol using NuSMV. In: International conference on Computer & Communication Technology, 17-19,Sep 2010.

[img] PDF
29071413.pdf - Published Version
Restricted to Registered users only

Download (108kB) | Request a copy
Official URL: doi: 10.1109/ICCCT.2010.5640425


Today with the tremendous growth in the era of networking, the services provided to users have become diverse. In such a distributed environment, multiple user can 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 per- form 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.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: Symbolic Model Verifier, Kerberos Protocol, NuSMV
Subjects: Engineering > MIT Manipal > Information and Communication Technology
Depositing User: MIT Library
Date Deposited: 31 Jul 2014 07:26
Last Modified: 31 Jul 2014 07:26

Actions (login required)

View Item View Item