Formal modeling of authentication in SIP registration Moen Anders Hagalisletto Lars Kristoffer Strand Lars Strand Publication details Part of: Proceedings of the International Conference on Emerging Security Information, Systems and Technologies (SECURWARE) (IEEE, 2008) Pages: 16–21–6 Year: 2008 Link: FULLTEKST: http://publications.nr.no/4814/Hagalisletto_-_Formal_modeling_of_authentication_in_SIP_registrat.pdf You are here: Home Publications Scientific chapter / article / conference article Formal modeling of authentication in SIP registration