Formal modeling of authentication in SIP registration

Hagalisletto, Anders Moen; Strand, Lars

August 25, 2008

DART

• Published date: August 25, 2008
• Publisher: IEEE Computer Society
• Refereed: 1
• Conference: The Second International Conference on Emerging Security Information, Systems and Technologies, SECU
• Page(s): 16-21
• Journal:
• Name and number of project: EUX2010SEC
• 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:
• Editor: