Return to Article Details Specification framework for privilege escalation testing in Linux systems Download Download PDF