DBLP Record 'conf/ifip1-7/MazareW09'

BibTeX

@inproceedings{DBLP:conf/ifip1-7/MazareW09,
  author    = {Laurent Mazar{\'e} and
               Bogdan Warinschi},
  title     = {Separating Trace Mapping and Reactive Simulatability Soundness:
               The Case of Adaptive Corruption},
  booktitle = {ARSPA-WITS},
  year      = {2009},
  pages     = {193-210},
  ee        = {http://dx.doi.org/10.1007/978-3-642-03459-6_13},
  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}
}