1. A Formal Access Control Model for SE-Floodlight Controller;A Al-Alaj;Proceedings of the ACM International Workshop on Security in Software Defined Networks & Network Function Virtualization -SDN-NFVSec '19,2019
2. A dependability profile within MARTE