A New Provably Secure Authentication and Key Agreement Protocol for SIP Using ECC∗

External Document