ABDULLAH ALI AYEDH QAHTANI2022-06-012022-06-014336https://drepo.sdl.edu.sa/handle/20.500.14154/60503en-USFORMAL APPROACHES FOR SPECIFYING , ENFORCING, AND VERIFYING SECURITY POLICIES.Thesis