Formal modeling of authentication in SIP registration

Publication details

• Part of: Proceedings of the International Conference on Emerging Security Information, Systems and Technologies (SECURWARE) (IEEE (Institute of Electrical and Electronics Engineers), 2008)
• Pages: 16–21
• Year: 2008
• Link:
  • FULLTEKST: http://publications.nr.no/4814/Hagalisletto_-_Formal_modeling_of_authentication_in_SIP_registrat.pdf