@inproceedings{PavlovicD:ICC06,
  title = "Deriving secure network protocols for enterprise service architectures",
  author = "Matthias Anlauff and Dusko Pavlovic and Asuman {S\"{u}nb\"{u}l}",
  year = "2006",
  booktitle = "Proceedings of {IEEE} Interrnational Conference on Communications",
  editor = "{B\"{u}lent} Yener and Refik Molva and Carlos Becker Westphall",
  publisher = "IEEE",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/ICC06.pdf",
}