Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952188590> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2952188590 abstract "A workflow specification defines a set of steps and the order in which those steps must be executed. Security requirements may impose constraints on which groups of users are permitted to perform subsets of those steps. A workflow specification is said to be satisfiable if there exists an assignment of users to workflow steps that satisfies all the constraints. An algorithm for determining whether such an assignment exists is important, both as a static analysis tool for workflow specifications, and for the construction of run-time reference monitors for workflow management systems. Finding such an assignment is a hard problem in general, but work by Wang and Li in 2010 using the theory of parameterized complexity suggests that efficient algorithms exist under reasonable assumptions about workflow specifications. In this paper, we improve the complexity bounds for the workflow satisfiability problem. We also generalize and extend the types of constraints that may be defined in a workflow specification and prove that the satisfiability problem remains fixed-parameter tractable for such constraints. Finally, we consider preprocessing for the problem and prove that in an important special case, in polynomial time, we can reduce the given input into an equivalent one, where the number of users is at most the number of steps. We also show that no such reduction exists for two natural extensions of this case, which bounds the number of users by a polynomial in the number of steps, provided a widely-accepted complexity-theoretical assumption holds." @default.
- W2952188590 created "2019-06-27" @default.
- W2952188590 creator A5012051081 @default.
- W2952188590 creator A5013520933 @default.
- W2952188590 creator A5044021493 @default.
- W2952188590 date "2012-05-03" @default.
- W2952188590 modified "2023-09-26" @default.
- W2952188590 title "On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem" @default.
- W2952188590 cites W1544829330 @default.
- W2952188590 cites W1590274425 @default.
- W2952188590 cites W1676006881 @default.
- W2952188590 cites W1849334378 @default.
- W2952188590 cites W1976430052 @default.
- W2952188590 cites W1991895580 @default.
- W2952188590 cites W1995725694 @default.
- W2952188590 cites W1999617330 @default.
- W2952188590 cites W2038953226 @default.
- W2952188590 cites W2043193943 @default.
- W2952188590 cites W2043978338 @default.
- W2952188590 cites W2057028717 @default.
- W2952188590 cites W2074359677 @default.
- W2952188590 cites W2076004681 @default.
- W2952188590 cites W2087638517 @default.
- W2952188590 cites W2107284348 @default.
- W2952188590 cites W2122061707 @default.
- W2952188590 cites W2134893444 @default.
- W2952188590 cites W2157922724 @default.
- W2952188590 doi "https://doi.org/10.48550/arxiv.1205.0852" @default.
- W2952188590 hasPublicationYear "2012" @default.
- W2952188590 type Work @default.
- W2952188590 sameAs 2952188590 @default.
- W2952188590 citedByCount "0" @default.
- W2952188590 crossrefType "posted-content" @default.
- W2952188590 hasAuthorship W2952188590A5012051081 @default.
- W2952188590 hasAuthorship W2952188590A5013520933 @default.
- W2952188590 hasAuthorship W2952188590A5044021493 @default.
- W2952188590 hasBestOaLocation W29521885901 @default.
- W2952188590 hasConcept C111335779 @default.
- W2952188590 hasConcept C11413529 @default.
- W2952188590 hasConcept C165464430 @default.
- W2952188590 hasConcept C168773769 @default.
- W2952188590 hasConcept C177212765 @default.
- W2952188590 hasConcept C177264268 @default.
- W2952188590 hasConcept C199360897 @default.
- W2952188590 hasConcept C207225210 @default.
- W2952188590 hasConcept C2524010 @default.
- W2952188590 hasConcept C311688 @default.
- W2952188590 hasConcept C33923547 @default.
- W2952188590 hasConcept C41008148 @default.
- W2952188590 hasConcept C6943359 @default.
- W2952188590 hasConcept C77088390 @default.
- W2952188590 hasConcept C80444323 @default.
- W2952188590 hasConceptScore W2952188590C111335779 @default.
- W2952188590 hasConceptScore W2952188590C11413529 @default.
- W2952188590 hasConceptScore W2952188590C165464430 @default.
- W2952188590 hasConceptScore W2952188590C168773769 @default.
- W2952188590 hasConceptScore W2952188590C177212765 @default.
- W2952188590 hasConceptScore W2952188590C177264268 @default.
- W2952188590 hasConceptScore W2952188590C199360897 @default.
- W2952188590 hasConceptScore W2952188590C207225210 @default.
- W2952188590 hasConceptScore W2952188590C2524010 @default.
- W2952188590 hasConceptScore W2952188590C311688 @default.
- W2952188590 hasConceptScore W2952188590C33923547 @default.
- W2952188590 hasConceptScore W2952188590C41008148 @default.
- W2952188590 hasConceptScore W2952188590C6943359 @default.
- W2952188590 hasConceptScore W2952188590C77088390 @default.
- W2952188590 hasConceptScore W2952188590C80444323 @default.
- W2952188590 hasLocation W29521885901 @default.
- W2952188590 hasLocation W29521885902 @default.
- W2952188590 hasOpenAccess W2952188590 @default.
- W2952188590 hasPrimaryLocation W29521885901 @default.
- W2952188590 hasRelatedWork W1876800908 @default.
- W2952188590 hasRelatedWork W200564616 @default.
- W2952188590 hasRelatedWork W2052773530 @default.
- W2952188590 hasRelatedWork W2083748805 @default.
- W2952188590 hasRelatedWork W2173621488 @default.
- W2952188590 hasRelatedWork W2411072841 @default.
- W2952188590 hasRelatedWork W2952188590 @default.
- W2952188590 hasRelatedWork W2963643124 @default.
- W2952188590 hasRelatedWork W3096391185 @default.
- W2952188590 hasRelatedWork W4287606137 @default.
- W2952188590 isParatext "false" @default.
- W2952188590 isRetracted "false" @default.
- W2952188590 magId "2952188590" @default.
- W2952188590 workType "article" @default.