DBLP BibTeX Record 'conf/icitst/ArapinisCRR09'

@inproceedings{DBLP:conf/icitst/ArapinisCRR09,
  author    = {Myrto Arapinis and
               Tom Chothia and
               Eike Ritter and
               Mark Ryan},
  title     = {Untraceability in the applied pi-calculus},
  booktitle = {ICITST},
  year      = {2009},
  pages     = {1-6},
  ee        = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5402514},
  crossref  = {DBLP:conf/icitst/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icitst/2009,
  title     = {Proceedings of the 4th International Conference for Internet
               Technology and Secured Transactions, ICITST 2009, London,
               UK, November 9-12, 2009},
  booktitle = {ICITST},
  publisher = {IEEE},
  year      = {2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}