Satisfiability and feasibility in a relationship-based workflow authorization model

Simple item page
dc.contributor.advisorFong, Philip W. L.
dc.contributor.authorKhan, Arif Akram
dc.date.accessioned2016-11-29T18:16:45Z
dc.date.available2016-11-29T18:16:45Z
dc.date.issued2012-09
dc.descriptionBibliography: p. 72-76en
dc.description.abstractA workflow authorization model is defined in the framework of Relationship-Based Access Control (ReBAC), in which the protection state is a social network. Armed with this model, a new decision problem called workflow feasibility is studied. The goal is to ensure that the space of protection states contains at least one member in which the workflow specification can be executed to completion. A sufficient condition is identified under which feasibil­ity can be decided by a refutation procedure that is both sound and complete. A formal specification language, based on a monotonic fragment of the Propositional Dynamic Logic (PDL), is proposed for specifying protection state spaces. The adoption of this language renders workflow feasibility NP-complete in the general case but polynomial-time decidable for an important family of workflows. A model checker for this POL-based language is im­plemented. Hybridization of this PDL-fragment is examined. Satisfiability and feasibility of workflows with XOR-patterns are analyzed as well.en
dc.format.extentvi, 76 leaves : ill. ; 30 cm.en
dc.identifier.citationKhan, A.K. (2012). Satisfiability and Feasibility in a Relationship-based Workflow Authorization Mode (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/32801en_US
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/32801
dc.identifier.urihttp://hdl.handle.net/1880/51754
dc.language.isoeng
dc.publisher.facultyGraduate Studies
dc.publisher.institutionUniversity of Calgaryen
dc.publisher.placeCalgaryen
dc.rightsAttribution Non-Commercial 4.0 International*
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.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/*
dc.titleSatisfiability and feasibility in a relationship-based workflow authorization model
dc.typemaster thesis
thesis.degree.disciplineComputer Science
thesis.degree.grantorUniversity of Calgary
thesis.degree.nameMaster of Science (MSc)
ucalgary.item.requestcopytrue
ucalgary.thesis.accessionTheses Collection 58.002:Box 2111 627942981
ucalgary.thesis.notesUARCen
ucalgary.thesis.uarcreleaseyen
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
2012_Khan.pdf
Size:
33.31 MB
Format:
Adobe Portable Document Format
Download
Collections
Legacy Theses