@misc{backes07causality-wits,
  author       = {Backes, Michael and Cortesi, Agostino and Maffei, Matteo},
  title        = {Causality-based Abstraction of Multiplicity in Security Protocol Analysis},
  howpublished = {7th International Workshop on Issues in the Theory of Security (WITS)},
  month        = {April},
  year         = {2007}
}