Archived publication

Archived publication

Formal modeling of authentication in SIP registration

Hagalisletto, Anders Moen; Strand, Lars

August 25, 2008

DART

  • Published date: August 25, 2008
  • Publisher:
  • Refereed: 1
  • Filename: 4814/Hagalisletto_-_Formal_modeling_of_authentication_in_SIP_registrat.pdf
  • Conference: The Second International Conference on Emerging Security Information, Systems and Technologies
  • Page(s): 16-21
  • Journal:
  • Name and number of project: EUX2010SEC 320376
  • Volume/number:
  • Title: Formal modeling of authentication in SIP registration
  • Author(s): Hagalisletto, Anders Moen; Strand, Lars
  • ISBN: 978-0-7695-3329-2
  • Book title: The Second International Conference on Emerging Security Information, Systems and Technologies
  • Editor: