BasinMV03'

@inproceedings{DBLP:conf/ccs/BasinMV03,
  author    = {David A. Basin and
               Sebastian M{\"o}dersheim and
               Luca Vigan{\`o}},
  title     = {CDiff: a new reduction technique for constraint-based analysis
               of security protocols},
  booktitle = {ACM Conference on Computer and Communications Security},
  year      = {2003},
  pages     = {335-344},
  ee        = {http://doi.acm.org/10.1145/948109.948154},
  crossref  = {DBLP:conf/ccs/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ccs/2003,
  editor    = {Sushil Jajodia and
               Vijayalakshmi Atluri and
               Trent Jaeger},
  title     = {Proceedings of the 10th ACM Conference on Computer and Communications
               Security, CCS 2003, Washington, DC, USA, October 27-30,
               2003},
  booktitle = {ACM Conference on Computer and Communications Security},
  publisher = {ACM},
  year      = {2003},
  isbn      = {1-58113-738-9},
  ee        = {http://dl.acm.org/citation.cfm?id=948109},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}