A First Order Logic Security Verification Model for SIP | IEEE Conference Publication | IEEE Xplore