Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

Modeling freshness concept to overcome Replay attack in Kerberos protocol using NuSMV

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
4 Author(s)
Adyanthaya, S. ; Dept. of Inf. & Commun. Technol., Manipal Inst. of Technol., Manipal, India ; Rukmangada, S. ; Tiwari, A. ; Singh, S.

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

Published in:

Computer and Communication Technology (ICCCT), 2010 International Conference on

Date of Conference:

17-19 Sept. 2010