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 385
- Downloads 8
Credit Appraisal System in Allahabad Bank
Finance is required at every stage of business either for meeting day to operations or for starting up a new project. One of the important sources of raising finance is loans from banks. Commercial lending is one of th...
A Review Of Web Mining Research
Today, with the huge amount of information available online, the World Wide Web is a fertile area for data mining research. Nowadays Web users are facing the problems of information overload and drowning due to the sig...
STRATEGIC GREEN MARKETING NEED OF THE HOUR
Now-a-days Corporate Houses are becoming more concern about their social responsibilities. They have taken social responsibilities as a good strategic move to build up an image in the heart of consumers. Now marketers...
A Study on Effectiveness of Celebrity endorsements towards television viewers perceptive in Salem city, Tamilnadu, India
The instrument of celebrity endorsement has nowadays become a pervasive element in advertising and communication management. India as a country is known for loving its stars. The Indians idolize their favorite actors a...
E-Commerce and its Business Models
In the emerging global economy, e-commerce and e-business have increasingly become a necessary component of business strategy and a strong catalyst for economic development. The integration of information and communica...