Department of Electrical and Computer Engineering;
Concordia University;
Montreal;
Quebec;
Canada;
Department of Electrical and Computer Engineering;
Khalifa University of Science;
Technology and Research;
Sharjah;
UAE;
Ecole Nationale des Sciences de l’Informatique;
University of la Manouba;
Tunis;
Tunisia;
Group; Key; Protocols; Formal; Verification; Forward; Secrecy; Secrecy; Event-B;