Martins, G., & 		Campiolo, R.
2025 Sep  1.  Specification framework for privilege escalation testing in Linux systems. Companion Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg). [Online] :