1. Methods for Specifying and Resolving Security Policy Compliance Problems Open Access Author: Rueda Rodriguez, Sandra Julieta Title: Methods for Specifying and Resolving Security Policy Compliance Problems Graduate Program: Computer Science and Engineering Keywords: Mandatory Access ControlsPolicy AnalysisSystems Security File: Download SandraRueda-Dissertation-jul25.pdf Committee Members: Trent Ray Jaeger, Dissertation Advisor/Co-AdvisorTrent Ray Jaeger, Committee Chair/Co-ChairPatrick Drew Mcdaniel, Committee MemberAdam Smith, Committee MemberBhuvan Urgaonkar, Committee MemberStephen George Simpson, Committee Member