slugKerberos Authentication Protocol Modeling Using NUSMV Model
Journal Title: International Journal of Management, IT and Engineering - Year 2012, Vol 2, Issue 5
Abstract
Authentication is one of the biggest problem related to computer information security in the area of distributed environments. Various protocols are used for the authentication purpose such as Needham-Schroeder protocol Kerberos protocol etc. The aim of this paper is to verify and formalize the Kerberos protocol using NuSMV model checker. The protocol v e r s i o n used in this paper is Kerberos Authentication Protocol. The paper suggests CTL specifications for authentication, secrecy an d i n t e g r i t y . We have also proposed an approach to identify presence of intruder in the system.
Authors and Affiliations
Brajesh Patel and Priyanka Dubey
Keywords
Related Articles
- EP ID EP18314
- DOI -
- Views 309
- Downloads 12
Improve SQUID proxy’s performance using new cache replacement architecture
The usage of internet has been drastically increased in few years. This increase demands larger and larger bandwidth to work in easy and fast manner. But with limited bandwidth usage we can provide faster internet work...
A Comparative Study of ICN Routing Protocols
Information delivery such as P2P or video streaming over the internet has invited the redesigning of routing protocols to be of the information centric in nature. A new kind of communication network with a massive emph...
slugCERVICAL CELL FOR THINPREP IMAGE ENHANCEMENT USING MORPHOLOGICAL SEGMENTATION
This paper proposes a contrast enhancement technique, which is applied on the ThinPrep Cervical Cell. The proposed technique is divided into two stages. In the First Stage the cervical cells for the thin Prep Image wil...
slugEVOLUTION OF DATA WAREHOUSE AND DATA MINING
Data warehouse is the requisite of all present competitive business communities‟ i.e. profitable and non-profitable as well as educational institutions where data is complex, huge and dynamic. The technology advent is...
slugDetermination of Lot Size in the Construction of Six sigma based Link Sampling Plans
The term ‘Six Sigma’ originated from the terminology associated with the statistical modeling of manufacturing processes. A six-sigma process is one in which 99.99999% of the products manufactured are statistically exp...