Kerberos Authentication Protocol Modeling Using NUSMV Model
Journal Title: International Journal of Engineering, Science and Mathematics - 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 EP26649
- DOI -
- Views 397
- Downloads 8
Corporate Merger & Acquisition: A Strategic approach in Indian Banking Sector
It is an inherent desire and need of every business to grow vertically and horizontally. Organic growth, that is development from within, is often slow and sometimes difficult. Competition is fierce, and companies must...
The Influence of Facilitation, Low Transaction Cost and Convenience on Customer’s turnover IntentIon from Conventional to Web-Based Banking
With the advancement of technology the banking sector has been dramatically changed from conventional way of banking to the internet banking i.e. web based banking. This advancement of technology has been totally chang...
Role of ICT for Record Management in the Wake of RTI Act
Right to Information (RTI) for accessing official information is one of the powerful tools bestowed to every citizen of India. It is a unique example in the developing world especially in the country with a population...
Comparative Approach for Work Study and RTA (Robot Time Analysis) Method on Powder Coating Line Based on Minimization of Cost.
The aim of this research paper is to minimize the processes and production cost in a spray powder line. The coating operation is the bottleneck point in modular furniture industries. For minimize the wastage of the pow...
QUANTIFICATION OF AGILITY OF A SUPPLY CHAIN USING FUZZY LOGIC
We focus on the issue of performance evaluation in supply chains, in particular the concept of “Agility”. All parameters of agility can be qualitatively judged in linguistic terms. We specifically target the problem of...