Items where Author is "Al-Hadhrami, Nasser"
 | Up a level |
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.