[IEEE 2015 10th International Conference on Availability, Reliability and Security (ARES) - Toulouse, France (2015.8.24-2015.8.27)] 2015 10th International Conference on Availability, Reliability and Security - Incremental Development of RBAC-Controlled E-Marking System Using the B Method
Al-Hadhrami, Nasser, Aziz, Benjamin, Sardesai, Shantanu, Othmane, Lotfi benYear:
2015
Language:
english
DOI:
10.1109/ARES.2015.95
File:
PDF, 473 KB
english, 2015