Formal modeling of authentication in SIP registration

Publikasjonsdetaljer

• Del av: Proceedings of the International Conference on Emerging Security Information, Systems and Technologies (SECURWARE) (IEEE, 2008)
• Sider: 16–21–6
• År: 2008
• Lenke:
  • FULLTEKST: http://publications.nr.no/4814/Hagalisletto_-_Formal_modeling_of_authentication_in_SIP_registrat.pdf