Department of Electrical and Computer Engineering, Khalifa University of Science, Technology and Research, Sharjah, UAE
Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada
Ecole Nationale des Sciences de l’Informatique, University of la Manouba, Tunis, Tunisia
Copyright © 2012 Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed et al. This is
an open access article distributed under the Creative Commons Attribution
License, which permits unrestricted use, distribution, and reproduction in any
medium, provided the original work is properly cited.
How to Cite this Article
A. Gawanmeh, S. Tahar and L. Ayed, "Formal Verification of Secrecy in Group Key Protocols Using Event-B,"
International Journal of Communications, Network and System Sciences, Vol. 5 No. 3, 2012, pp. 165-177. doi:
10.4236/ijcns.2012.53021.