@mastersthesis{mastersthesis53d72d5b,
title   = {Uma abordagem composicional para análise de segurança de Sistemas-de-Sistemas},
author = {Lopes, Samuel de Souza and Braga, Rosana Teresinha Vaccare},
year = {2022},
doi = {10.11606/D.55.2022.tde-20032023-142914},
school = {Universidade de São Paulo}
}