Title of article :
A Robust and Efficient SIP Authentication Scheme
Author/Authors :
Mohammadi-Nodooshan, A. k.n.toosi university of technology - Department of Electrical Engineering, تهران, ايران , Darmani, Y. k.n.toosi university of technology - Department of Electrical Engineering, تهران, ايران , Jalili, R. sharif university of technology - Department of Computer Engineering, تهران, ايران , Nourani, M. University of Texas at Dallas - Department of Electrical Engineering, USA , Sayad Haghighi, M. k.n.toosi university of technology - Department of Electrical Engineering, تهران, ايران
Abstract :
The Session Initiation Protocol (SIP), which is becoming the de facto standard for the next-generation VoIP networks, is currently receiving much attention in many aspects. One aspect that was not deeply addressed in the original SIP is its authentication procedure. Apart from its security, an SIP authentication procedure should be efjicient. This paper proposes a robust and efjicient three-party SIP authentication protocol. In this protocol, the end users are authenticated with the proxy server in their domain using the registrar server. Compared to previous works, our proposed protocol is more efjicient and secure. To support our protocol with a formal security proof, its model is constructed using High-Level Protocol Specification Language (II LPS L). The model is verified using the model checking tool, AVIS PA, and the result confirms that the protocol is guile safe.
Keywords :
AVISPA , Formal validation , Proxy server , Registrar server , SIP authentication , Three party authentication , User agent client , VoIP.
Journal title :
Scientia Iranica(Transactions B:Mechanical Engineering)
Journal title :
Scientia Iranica(Transactions B:Mechanical Engineering)
