Login | Register

Items where Author is "Ben Ayed, Leila Jemni"

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

Article

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 Tue Mar 19 03:17:48 2024 EDT.
Back to top Back to top