Formal Design & Verification of Security Protocol for VoIP Ubaid Ur Rehman NUST201260838MSEECS63012F Supervisor: Dr. Abdul Ghafoor Committee Members: Dr.