TY - GEN
T1 - Modeling and verification of Inter Realm Authentication in Kerberos using symbolic model verifier
AU - Mundra, Punit
AU - Sharma, Madhavi
AU - Shukla, Shobhit
AU - Singh, Sanjay
PY - 2011/10/28
Y1 - 2011/10/28
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=80054855238&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=80054855238&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-24043-0_50
DO - 10.1007/978-3-642-24043-0_50
M3 - Conference contribution
AN - SCOPUS:80054855238
SN - 9783642240423
T3 - Communications in Computer and Information Science
SP - 496
EP - 506
BT - Trends in Computer Science, Engineering and Information Technology - First International Conference on Computer Science, Engineering and Information Technology, CCSEIT 2011, Proceedings
T2 - 1st International Conference on Computer Science, Engineering and Information Technology, CCSEIT 2011
Y2 - 23 September 2011 through 25 September 2011
ER -