Formal modeling of authentication in SIP registration

Publikasjonsdetaljer