Abstract-Workflow-säkerhet har blivit allt viktigare och utmanande i dagens öppna tjänstevärld. Medan mycket forskning har gjorts om olika säkerhetsfrågor i arbetsflödessystem, är arbetsflödet tillfredsställande problem, som frågar om en uppsättning användare tillsammans kan slutföra ett arbetsflöde, nyligen identifieras som ett viktigt forskningsproblem som behöver mer utredning. I detta dokument studerar vi problemets beräkningskomplexitet i två riktningar: det ena är genom att överväga antingen en väg eller alla vägar i ett arbetsflöde, och det andra är genom att överväga möjliga mönster i ett arbetsflöde. Vi har visat att problemet med tillfredsställande arbetsflödesanalys är oåtkomligt. Detta resultat motiverar oss att överväga begränsningar av arbetsflödeskontroll-flödesmönster och policyer för åtkomstkontroll, och att identifiera fall av praktiskt intresse.
Yang m.fl. REF undersökte WSP:s komplexitet med olika kontrollflödesmönster och visade att problemet i allmänhet är svåråtkomligt.
Satisfiability Analysis of Workflows with Control-Flow Patterns and Authorization Constraints
{'venue': 'IEEE Transactions on Services Computing', 'journal': 'IEEE Transactions on Services Computing', 'mag_field_of_study': ['Computer Science']}