A Novel Approach to White-Box Policy Analysis

Simple item page
atmire.migration.oldid665
dc.contributor.advisorFong, Philip Wai Leung
dc.contributor.authorBalasubramaniam, Jayalakshmi
dc.date.accessioned2013-01-25T17:04:39Z
dc.date.available2013-06-15T07:01:37Z
dc.date.issued2013-01-25
dc.date.submitted2013en
dc.description.abstractThe access control systems in dynamic environments contain composite access control policies, that combine decisions from multiple component policies using policy combining algorithms. In such dynamic environments, analysis of policies is a challenge. In this thesis, I propose a white-box policy analysis Decision in Context (DIC), that would analyse component policies situated inside a composite policy. For generality, the DIC query is defined in an XACML-style policy composition framework. The DIC query is implemented via a reduction to either propositional satisfiability or pseudo boolean satisfiability instances, after which standard solvers can be invoked to complete the evaluation. Empirical analyses have been conducted to compare the relative efficiency of the SAT and PBS encodings. The latter is found to be the more effective encoding, in reducing DIC queries containing majority voting policy combining algorithms.en_US
dc.identifier.citationBalasubramaniam, J. (2013). A Novel Approach to White-Box Policy Analysis (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/24928en_US
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/24928
dc.identifier.urihttp://hdl.handle.net/11023/468
dc.language.isoeng
dc.publisher.facultyGraduate Studies
dc.publisher.institutionUniversity of Calgaryen
dc.publisher.placeCalgaryen
dc.rightsUniversity of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.
dc.subjectComputer Science
dc.subject.classificationPolicy analysisen_US
dc.subject.classificationWhite-box testingen_US
dc.subject.classificationChange impact analysisen_US
dc.subject.classificationBreak-glass reductionen_US
dc.subject.classificationDead policyen_US
dc.subject.classificationPolicy pruningen_US
dc.subject.classificationPolicy compositionen_US
dc.subject.classificationXACMLen_US
dc.subject.classificationPropositional satisfiabilityen_US
dc.subject.classificationPseudo boolean satisfiabilityen_US
dc.titleA Novel Approach to White-Box Policy Analysis
dc.typemaster thesis
thesis.degree.disciplineComputer Science
thesis.degree.grantorUniversity of Calgary
thesis.degree.nameMaster of Science (MSc)
ucalgary.item.requestcopytrue
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
ucalgary_2013_balasubramaniam_jayalakshmi.pdf
Size:
1.21 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
2.65 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Open Theses and Dissertations