Archived publication
Archived publication
Formal modeling of authentication in SIP registration
4814/Hagalisletto_-_Formal_modeling_of_authentication_in_SIP_registrat.pdf
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: