"Formal Verification of Secrecy in Group Key Protocols Using Event-B"
written by Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed,
published by International Journal of Communications, Network and System Sciences, Vol.5 No.3, 2012
has been cited by the following article(s):