Authors: Anders Moen Hagalisletto, Lars Strand
Addresses: Department of Applied Research in Information Technology (DART), Norwegian Computing Center, Norway. ' Department of Applied Research in Information Technology (DART), Norwegian Computing Center, Norway
Abstract: Many protocols running over the internet are neither formalised, nor formally analysed. The amount of documentation for telecommunication protocols used in real-life applications is huge, while the available analysis methods and tools require precise and clear-cut protocol clauses. A manual formalisation of the Session Initiation Protocol (SIP) used in Voice over IP (VoIP) applications is not feasible. Therefore, by combining the information retrieved from the specification documents published by the IETF and traces of real-world SIP traffic, we craft a formal specification of the protocol in addition to an implementation of the protocol. In the course of our work we detected several weaknesses, both of SIP call set-up and in the Asterisk implementation of the protocol. These weaknesses could be exploited and pose as a threat for authentication and non-repudiation of VoIP calls.
Keywords: formal specifications; VoIP; voice over IP; SIP call set-up; session initiation protocol; authentication; call hijack attacks; PROSA; Asterisk implementation; call non-repudiation; information security.
International Journal of Applied Cryptography, 2010 Vol.2 No.1, pp.13 - 22
Published online: 01 Jul 2010 *Full-text access for editors Access for subscribers Purchase this article Comment on this article