1
Department of Electrical Engineering,Khajeh Nasire Toosi University of Technology
2
Department of Computer Engineering,Sharif University of Technology
3
Center of Integrated Circuits and Systems,The University of Texas at Dallas
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 efficient. This paper proposes a robust and efficient 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 efficient and secure. To support our protocol with a formal security proof, its model is constructed using High-Level
Protocol Speci cation Language (HLPSL). The model is veri ed using the model checking tool, AVISPA,
and the result confirms that the protocol is quite safe.
Mohammadi-Nodooshan, A., Darmani, Y., Sayad Haghighi, M., Jalili, R., & Nourani, M. (2010). A Robust and Efficient SIP Authentication Scheme. (e3313). Scientia Iranica, 17(1), e3313
MLA
Mohammadi-Nodooshan, A., Darmani, Y., Sayad Haghighi, M., Jalili, R., & Nourani, M. "A Robust and Efficient SIP Authentication Scheme" .e3313 , Scientia Iranica, 17, 1, 2010, e3313.
HARVARD
Mohammadi-Nodooshan A., Darmani Y., Sayad Haghighi M., Jalili R., Nourani M. (2010). 'A Robust and Efficient SIP Authentication Scheme', Scientia Iranica, 17(1), e3313.
CHICAGO
A. Mohammadi-Nodooshan, Y. Darmani, M. Sayad Haghighi, R. Jalili & M. Nourani, "A Robust and Efficient SIP Authentication Scheme," Scientia Iranica, 17 1 (2010): e3313,
VANCOUVER
Mohammadi-Nodooshan A., Darmani Y., Sayad Haghighi M., Jalili R., Nourani M. A Robust and Efficient SIP Authentication Scheme. Scientia Iranica. 2010;17(1):e3313.
