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 387
- Downloads 8
Reliability Prediction of FaultTolerant Multicomputer Interconnection Networks
This paper proposes a new method to identify all the maximal incomplete sub cubes present in a faulty cube taking maximum fault tolerance level i.e. number of faulty nodes is equal to the system dimension. The procedur...
SHORTEST PATH ALGORITHMS: A COMPARATIVE ANALYSIS
Now a days routing is the vital problem while forwarding information from one node to another node in communication networks. Routing in today’s network is accomplished by shortest path routing algorithm. There are dif...
APPLICATION AND IMPLEMENTATION OF CRM IN HOTELS OF DEVELOPING CITIES - A CASE STUDY OF RANCHI
Hotel sells room to the guest. It is the main product that Hotel sells and with the sale of this product, other hotel products like food, beverage, laundry services etc. also get sold. Earlier when the numbers of hotel...
Challenges and Opportunities of Technology Transfer Management
Today, technology has become so rich that many of the developing countries can , t even afford to have all the facilities, It is admitted that these changes and takeovers affected economical, industrial, security, tech...
THE MODERATING ROLE OF SUPPORTING TECHNOLOGY ON THE RELATIONSHIP BETWEEN FIRM INTEGRATION AND SUPPLY CHAIN ORIENTATION: AN EMPERICAL INVESTIGATION OF CONSUMER GOODS INDUSTRY IN SOUTH SUMATERA INDONESIA
The purpose of this research is to present the relationship between firm integration and supply chain orientation and supporting technology as moderating that relationship. The data collection instrument used was a que...