@inproceedings{MRR10,
  author        = {S. Mauw and S. Radomirovi\'c and P.Y. Ryan},
  title         = {Security protocols for {S}ecret {S}anta},
  booktitle     = {Proc.\ 18th Security Protocols Workshop},
  publisher     = {Springer-Verlag},
  series        = {Lecture Notes in Computer Science},
  editor        = {Bruce Christianson and James Malcolm},
  month         = {March 24-26},
  year          = {2010},
  address       = {Cambridge, United Kingdom},
  volume        = {7601},
  pages         = {175--184},
  url           = {http://satoss.uni.lu/sjouke/papers/MRR10.pdf}
}