DBLP Record 'conf/ccs/CederquistD06'

BibTeX

@inproceedings{DBLP:conf/ccs/CederquistD06,
  author    = {Jan Cederquist and
               Muhammad Torabi Dashti},
  title     = {An intruder model for verifying liveness in security protocols},
  booktitle = {FMSE},
  year      = {2006},
  pages     = {23-32},
  ee        = {http://doi.acm.org/10.1145/1180337.1180340},
  crossref  = {DBLP:conf/ccs/2006fmse},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ccs/2006fmse,
  editor    = {Marianne Winslett and
               Andrew D. Gordon and
               David Sands},
  title     = {Proceedings of the 2006 ACM workshop on Formal methods in
               security engineering, FMSE 2006, Alexandria, VA, USA, November
               3, 2006},
  booktitle = {FMSE},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-550-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}