Mundra, Punit and Shukla, Shobhit and Sharma, Madhavi and Pai, Radhika M and Singh, Sanjay (2011) Modeling and Verification of Kerberos Protocol using Symbolic model Verifier. In: 2011 International Conference on Communication Systems and Network Technologies, June 2011, Jammu, India.
![[img]](http://eprints.manipal.edu/style/images/fileicons/application_pdf.png) |
PDF
4437a651.pdf - Published Version Restricted to Registered users only Download (389kB) | Request a copy |
Abstract
Authentication is one of the biggest issues concerning information security in the context of distributed environments. Various protocols are used for the authentication purpose such as Needham-Schroeder, Kerberos protocol etc. The aim of this paper is to verify and formalize the Kerberos protocol using NuSMV model checker. The protocol version used in this paper is Kerberos version 4. The paper suggests CTL specifications for authentication, secrecy and integrity. We have also proposed an approach to identify presence of intruder in the system.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Uncontrolled Keywords: | Kerberos Protocol, NuSMV Model Checker, CTL |
| Subjects: | Engineering > MIT Manipal > Information and Communication Technology |
| Depositing User: | MIT Library |
| Date Deposited: | 22 Jul 2011 11:06 |
| Last Modified: | 22 Jul 2011 11:06 |
| URI: | http://eprints.manipal.edu/id/eprint/895 |
Actions (login required)
 |
View Item |