Items where Author is "Gawanmeh, Amjad"

Gawanmeh, Amjad and Tahar, Sofiène (2012) Domain Restriction Based Formal Model for Firewall Configurations. International Journal for Information Security Research, 2 (1/2). pp. 294-302.

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

Gawanmeh, Amjad, Bouhoula, A. and Tahar, Sofiène (2009) Rank Functions Based Inference System for Group Key Management Protocols Verification. International Journal of Network Security, 8 (2). pp. 187-198. ISSN 1816-3548

Gawanmeh, Amjad (2008) On the formal verification of group key security protocols. PhD thesis, Concordia University.

Gawanmeh, Amjad, Tahar, Sofiène, Moinudeen, Haja and Habibi, Ali (2007) A Design for verification approach using an embedding of PSL in AsmL. Journal of Circuits, Systems and Computers, 16 (06). pp. 859-881. ISSN 0218-1266

Gawanmeh, Amjad (2003) Interfacing abstract state machines with multiway decision graphs. Masters thesis, Concordia University.