@inproceedings{CDP09,
  author        = {X. Chen and T. van Deursen and J. Pang},
  title         = {Improving Automatic Verification of Security Protocols with {XOR}},
  year          = {2009},
  booktitle     = {Proc.\ 11th International Conference on Formal Engineering Methods (ICFEM'09)},
  series        = {LNCS},
  publisher     = {Springer-Verlag},
  volume        = {5885},
  pages         = {107--126},
  url           = {http://satoss.uni.lu/members/ton/download.php?f=CDP09.pdf}
}