@inproceedings{Mauw10,
  author        = {S. Mauw},
  title         = {Security protocols for {S}ecret {S}anta ({T}ranscript of {D}iscussion)},
  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         = {185--190}
}