@inproceedings{hagalisletto-strand-2008,
        author    = {Anders Moen Hagalisletto and Lars Strand},
        title     = {Formal modeling of authentication in {SIP} registration},
        doi       = {10.1109/SECURWARE.2008.61},
        booktitle = {The Second International Conference on Emerging Security Information, Systems and Technologies},
        publisher = {{IEEE} Computer Society},
        year      = {2008},
        month     = {Aug},
        pages     = {16--21},
        isbn      = {978-0-7695-3329-2}
}