Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893049765> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2893049765 abstract "First proposed by Wang and Li in 2007, workflow resiliency is a policy analysis for ensuring that, even when an adversarial environment removes a subset of workers from service, a workflow can still be instantiated to satisfy all the security constraints. Wang and Li proposed three notions of workflow resiliency: static, decremental, and dynamic resiliency. While decremental and dynamic resiliency are both PSPACE-complete, Wang and Li did not provide a matching lower and upper bound for the complexity of static resiliency. The present work begins with proving that static resiliency is $¶i^p_2$-complete, thereby bridging a long-standing complexity gap in the literature. In addition, a fourth notion of workflow resiliency, one-shot resiliency, is proposed and shown to remain in the third level of the polynomial hierarchy. This shows that sophisticated notions of workflow resiliency need not be PSPACE-complete. Lastly, we demonstrate how to reduce static and one-shot resiliency to Answer Set Programming (ASP), a modern constraint-solving technology that can be used for solving reasoning tasks in the lower levels of the polynomial hierarchy. In summary, this work demonstrates the value of focusing on notions of workflow resiliency that reside in the lower levels of the polynomial hierarchy." @default.
- W2893049765 created "2018-10-05" @default.
- W2893049765 creator A5058182629 @default.
- W2893049765 date "2019-03-13" @default.
- W2893049765 modified "2023-10-05" @default.
- W2893049765 title "Results in Workflow Resiliency" @default.
- W2893049765 cites W1556898525 @default.
- W2893049765 cites W195515244 @default.
- W2893049765 cites W1964889053 @default.
- W2893049765 cites W1970736012 @default.
- W2893049765 cites W2030164717 @default.
- W2893049765 cites W2037376972 @default.
- W2893049765 cites W2038953226 @default.
- W2893049765 cites W2052773530 @default.
- W2893049765 cites W2057028717 @default.
- W2893049765 cites W2065076704 @default.
- W2893049765 cites W2068031952 @default.
- W2893049765 cites W2087432892 @default.
- W2893049765 cites W2119426781 @default.
- W2893049765 cites W2124511523 @default.
- W2893049765 cites W2142721575 @default.
- W2893049765 cites W2157334516 @default.
- W2893049765 cites W2214067958 @default.
- W2893049765 cites W2414699972 @default.
- W2893049765 cites W2418605222 @default.
- W2893049765 cites W2606518309 @default.
- W2893049765 cites W2617713358 @default.
- W2893049765 cites W2754780800 @default.
- W2893049765 cites W2962721539 @default.
- W2893049765 cites W2964075550 @default.
- W2893049765 cites W3005353630 @default.
- W2893049765 cites W4361868421 @default.
- W2893049765 cites W947673137 @default.
- W2893049765 doi "https://doi.org/10.1145/3292006.3300038" @default.
- W2893049765 hasPublicationYear "2019" @default.
- W2893049765 type Work @default.
- W2893049765 sameAs 2893049765 @default.
- W2893049765 citedByCount "4" @default.
- W2893049765 countsByYear W28930497652019 @default.
- W2893049765 countsByYear W28930497652021 @default.
- W2893049765 countsByYear W28930497652022 @default.
- W2893049765 crossrefType "proceedings-article" @default.
- W2893049765 hasAuthorship W2893049765A5058182629 @default.
- W2893049765 hasConcept C11413529 @default.
- W2893049765 hasConcept C162324750 @default.
- W2893049765 hasConcept C177212765 @default.
- W2893049765 hasConcept C179799912 @default.
- W2893049765 hasConcept C197685441 @default.
- W2893049765 hasConcept C2776013622 @default.
- W2893049765 hasConcept C311688 @default.
- W2893049765 hasConcept C31170391 @default.
- W2893049765 hasConcept C34447519 @default.
- W2893049765 hasConcept C41008148 @default.
- W2893049765 hasConcept C77088390 @default.
- W2893049765 hasConcept C80444323 @default.
- W2893049765 hasConceptScore W2893049765C11413529 @default.
- W2893049765 hasConceptScore W2893049765C162324750 @default.
- W2893049765 hasConceptScore W2893049765C177212765 @default.
- W2893049765 hasConceptScore W2893049765C179799912 @default.
- W2893049765 hasConceptScore W2893049765C197685441 @default.
- W2893049765 hasConceptScore W2893049765C2776013622 @default.
- W2893049765 hasConceptScore W2893049765C311688 @default.
- W2893049765 hasConceptScore W2893049765C31170391 @default.
- W2893049765 hasConceptScore W2893049765C34447519 @default.
- W2893049765 hasConceptScore W2893049765C41008148 @default.
- W2893049765 hasConceptScore W2893049765C77088390 @default.
- W2893049765 hasConceptScore W2893049765C80444323 @default.
- W2893049765 hasFunder F4320321481 @default.
- W2893049765 hasFunder F4320334593 @default.
- W2893049765 hasLocation W28930497651 @default.
- W2893049765 hasOpenAccess W2893049765 @default.
- W2893049765 hasPrimaryLocation W28930497651 @default.
- W2893049765 hasRelatedWork W1676587966 @default.
- W2893049765 hasRelatedWork W1717627737 @default.
- W2893049765 hasRelatedWork W1784888443 @default.
- W2893049765 hasRelatedWork W1972719943 @default.
- W2893049765 hasRelatedWork W1988209510 @default.
- W2893049765 hasRelatedWork W2000291823 @default.
- W2893049765 hasRelatedWork W2024309621 @default.
- W2893049765 hasRelatedWork W2036095420 @default.
- W2893049765 hasRelatedWork W2065251436 @default.
- W2893049765 hasRelatedWork W2079637309 @default.
- W2893049765 isParatext "false" @default.
- W2893049765 isRetracted "false" @default.
- W2893049765 magId "2893049765" @default.
- W2893049765 workType "article" @default.