@inproceedings{backes08caspa,
  author       = {Backes, Michael and Lorenz, Stefan and Maffei, Matteo and Pecina, Kim},
  title        = {CASPA: Causality-based Abstraction for Security Protocol Analysis},
  booktitle    = {Proceedings of 20th International Conference on Computer Aided Verification (CAV)},
  month        = {July},
  year         = {2008}
}