Items where Author is "Al-Hadhrami, Nasser"

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
Number of items: 2.

Al-Hadhrami, Nasser, Aziz, Benjamin and Othmane, Lotfi Ben (2016) An Incremental B-Model for RBAC-Controlled Electronic Marking System. Int. J. Secur. Softw. Eng., 7 (2). pp. 37-64.

Al-Hadhrami, Nasser, Aziz, Benjamin, Sardesai, Shantanu and Othmane, Lotfi Ben (2015) Incremental Development of RBAC-Controlled E-Marking System Using the B Method. In: 10th International Conference on Availability, Reliability and Security, ARES 2015, Toulouse, France, August 24-27, 2015.

This list was generated on Wed Jun 12 04:02:50 2024 BST.