TalbiMTBM08'

BibTeX

@inproceedings{DBLP:conf/icics/TalbiMTBM08,
  author    = {Mehdi Talbi and
               Benjamin Morin and
               Val{\'e}rie Viet Triem Tong and
               Adel Bouhoula and
               Mohamed Mejri},
  title     = {Specification of Electronic Voting Protocol Properties Using
               ADM Logic: FOO Case Study},
  booktitle = {ICICS},
  year      = {2008},
  pages     = {403-418},
  ee        = {http://dx.doi.org/10.1007/978-3-540-88625-9_27},
  crossref  = {DBLP:conf/icics/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icics/2008,
  editor    = {Liqun Chen and
               Mark Dermot Ryan and
               Guilin Wang},
  title     = {Information and Communications Security, 10th International
               Conference, ICICS 2008, Birmingham, UK, October 20-22, 2008,
               Proceedings},
  booktitle = {ICICS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5308},
  year      = {2008},
  isbn      = {978-3-540-88624-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}