Incremental Development of RBAC-Controlled E-Marking System Using the B Method

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.

Full text not available from this repository.

Access this via: https://doi.org/10.1109/ARES.2015.95

Item Type:	Conference or Workshop Item
Depositing User:	RED Unit Admin
Date Deposited:	13 Dec 2023 10:05
Last Modified:	13 Dec 2023 10:05
URI:	https://bnu.repository.guildhe.ac.uk/id/eprint/18875

Actions (login required)

Edit Item