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 Mon Oct 14 03:05:42 2024 EDT.
Back to top Back to top