GawanmehTA08'

BibTeX

@inproceedings{DBLP:conf/lcn/GawanmehTA08,
  author    = {Amjad Gawanmeh and
               Sofi{\`e}ne Tahar and
               Leila Jemni Ben Ayed},
  title     = {Event-B based invariant checking of secrecy in group key
               protocols},
  booktitle = {LCN},
  year      = {2008},
  pages     = {950-957},
  ee        = {http://dx.doi.org/10.1109/LCN.2008.4664308},
  crossref  = {DBLP:conf/lcn/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/lcn/2008,
  title     = {LCN 2008, The 33rd IEEE Conference on Local Computer Networks,
               The Conference on Leading Edge and Practical Computer Networking,
               Hyatt Regency Montreal, Montreal, Quebec, Canada, 14-17
               October 2008, Proceedings},
  booktitle = {LCN},
  publisher = {IEEE},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}