Formal modeling of authentication in SIP registration

Publication details