Martins, G., & 		Campiolo, R.
(2025).
 Specification framework for privilege escalation testing in Linux systems.
In <em>Companion Proceedings of the 25th Brazilian Symposium on Cybersecurity</em>, (pp. 312-318). Porto Alegre: SBC.
doi:10.5753/sbseg_estendido.2025.11876