Login | Register

Items where Author is "Ben Ayed, Leila Jemni"

Group by: Item Type | No Grouping
Number of items: 1.

Gawanmeh, Amjad, Tahar, Sofiène and Ben Ayed, Leila Jemni (2012) Formal Verification of Secrecy in Group Key Protocols Using Event-B. Int'l J. of Communications, Network and System Sciences, 05 (03). pp. 165-177. ISSN 1913-3715

This list was generated on Fri Feb 23 03:09:49 2024 EST.
Back to top Back to top