A First Order Logic Security Verification Model for SIP. - Dimitris Geneiatakis; Costas Lambrinoudakis; Georgios Kambourakis; Aggelos Kafkalas; Sven Ehlert (ICC, 2009)