The Formal Logical Analysis of the Correctness of the Specifications of Network Protocol SIP | IEEE Conference Publication | IEEE Xplore