@inproceedings{Cr2004compositionality,
  Author         = {C.J.F. Cremers},
  Title          = {Compositionality of Security Protocols: A Research
                   Agenda},
  booktitle      = {Proc.\ of the 1st VODCA Workshop},
  editor         = {F. Gadducci and M. ter Beek},
  series         = "Electronic Notes in Theoretical Computer Science",
  Publisher      = "Elsevier ScienceDirect",
  Volume         = 142,
  Pages          = {99--110},
  year           = 2004
}