DBLP Record 'conf/IEEEares/PirontiS08'

BibTeX

@inproceedings{DBLP:conf/IEEEares/PirontiS08,
  author    = {Alfredo Pironti and
               Riccardo Sisto},
  title     = {Soundness Conditions for Message Encoding Abstractions in
               Formal Security Protocol Models},
  booktitle = {ARES},
  year      = {2008},
  pages     = {72-79},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ARES.2008.30},
  crossref  = {DBLP:conf/IEEEares/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/IEEEares/2008,
  title     = {Proceedings of the The Third International Conference on
               Availability, Reliability and Security, ARES 2008, March
               4-7, 2008, Technical University of Catalonia, Barcelona
               , Spain},
  booktitle = {ARES},
  publisher = {IEEE Computer Society},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}