BodeiBB09'

@inproceedings{DBLP:conf/ifip1-7/BodeiBB09,
  author    = {Chiara Bodei and
               Linda Brodo and
               Roberto Bruni},
  title     = {Static Detection of Logic Flaws in Service-Oriented Applications},
  booktitle = {ARSPA-WITS},
  year      = {2009},
  pages     = {70-87},
  ee        = {http://dx.doi.org/10.1007/978-3-642-03459-6_5},
  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}
}