Davide Colaiacomo. A formal model of the capabilities for channel protection security controls. Rel. Cataldo Basile. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024