Mundra, Punit and Sharma, Madhavi and Shukla, Shobhit and Singh, Sanjay (2011) Modeling and Verification of Inter Realm Authentication in Kerberos Using Symbolic Model Verifier. In: First International Conference on Computer Science, Engineering and Information Technology (CCSEIT-2011), Tirunelveli, India.
![[img]](http://eprints.manipal.edu/style/images/fileicons/application_pdf.png) |
PDF
2907146.pdf - Published Version Restricted to Registered users only Download (883kB) | Request a copy |
Abstract
In open distributed environment several users accesses the network resources on server, server will allow only authenticated users to access these resources. So it has become of prime importance for nodes communicating over a non-secure network to prove their identity to one another in a secure manner.Various authentication protocols is used for the this purpose, Kerberos protocol is one of them. Several versions of the protocol exist. The aim of this paper is modeling and verification of the Inter Realm Authentication and User to User Authentication in Kerberos protocol through NuSMV model checker. It also demonstrate that when presence of intruder in the system, and make use of service, it will generate the counter example.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Uncontrolled Keywords: | Kerberos Protocol, Inter Realm Authentication, Model Checking, CTL, NuSMV |
| Subjects: | Engineering > MIT Manipal > Information and Communication Technology |
| Depositing User: | MIT Library |
| Date Deposited: | 31 Jul 2014 04:31 |
| Last Modified: | 31 Jul 2014 04:31 |
| URI: | http://eprints.manipal.edu/id/eprint/140281 |
Actions (login required)
 |
View Item |