Incremental Development of RBAC-Controlled E-Marking System Using the B Method. - Nasser Al-Hadhrami; Benjamin Aziz; Shantanu Sardesai; Lotfi Ben Othmane (ARES, 2015)

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

Data Exportation Framework for IoT Simulation Based Devices. - Yahya Al-Hadhrami; Nasser Al-Hadhrami; Farookh Khadeer Hussain (NBiS, 2019)

Modelling Security Risk Scenarios Using Subjective Attack Trees. - Nasser Al-Hadhrami; Matthew Collinson; Nir Oren (CRiSIS, 2020)

Security Analysis Using Subjective Attack Trees. - Nasser Al-Hadhrami; Matthew Collinson; Nir Oren (SECITC, 2020)

A Subjective Network Approach for Cybersecurity Risk Assessment. - Nasser Al-Hadhrami; Matthew Collinson; Nir Oren (SIN, 2020)