Mayara Salgado and Marcelo de Sousa. 2021. Cybersecurity in Aviation: the STPA-Sec Method Applied to the TCAS Security. In Proceedings of the 1st Workshop on System-Theoretic Accident Model and Processes, November 22, 2021, Florianópolis, Brasil. SBC, Porto Alegre, Brasil.