Aggelos Kafkalas

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

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