DBLP Record 'conf/ifip1-7/ArsacBCC09'

BibTeX

@inproceedings{DBLP:conf/ifip1-7/ArsacBCC09,
  author    = {Wihem Arsac and
               Giampaolo Bella and
               Xavier Chantry and
               Luca Compagna},
  title     = {Validating Security Protocols under the General Attacker},
  booktitle = {ARSPA-WITS},
  year      = {2009},
  pages     = {34-51},
  ee        = {http://dx.doi.org/10.1007/978-3-642-03459-6_3},
  crossref  = {DBLP:conf/ifip1-7/2009wits},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifip1-7/2009wits,
  editor    = {Pierpaolo Degano and
               Luca Vigan{\`o}},
  title     = {Foundations and Applications of Security Analysis, Joint
               Workshop on Automated Reasoning for Security Protocol Analysis
               and Issues in the Theory of Security, ARSPA-WITS 2009, York,
               UK, March 28-29, 2009, Revised Selected Papers},
  booktitle = {ARSPA-WITS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5511},
  year      = {2009},
  isbn      = {978-3-642-03458-9},
  ee        = {http://dx.doi.org/10.1007/978-3-642-03459-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}