Aggelos Kafkalas

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

Coauthor Index

1	Sven Ehlert	[1]
2	Dimitris Geneiatakis	[1]
3	Georgios Kambourakis	[1]
4	Costas Lambrinoudakis	[1]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page