Breadcrumb

 
 

Items where Author is "Gawanmeh, Amjad"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Jump to: Article | Thesis
Number of items: 6.

Article

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 and 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 and 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 and Tahar, Sofiène and 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

Thesis

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

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

This list was generated on Thu Aug 21 12:55:07 2014 EDT.

Concordia University - Footer