Automatisk målstyrd sammansättning av arbetsflöden för informationsbehandling, eller planering av arbetsflöden, har under de senaste åren blivit ett aktivt forskningsområde. Olika arbetsflödesplaneringsmetoder har föreslagits för automatisk applikationsutveckling i system som webbtjänster, strömbehandling och rutnätsberäkning baserat på kompositionsarkitekturer. Betydande framsteg har gjorts när det gäller att utveckla metoder för sammansättning och fastställa regler för sammansättning. Kompositionsreglerna kan specificeras baserat på schema, gränssnitt och semantik-driven kompatibilitet mellan processer och data. Ännu viktigare är att arbetsflödena i många praktiska tillämpningar måste utföras under åtkomstkontroll. I detta dokument introducerar och studerar vi problemet med arbetsflödesplanering under MLS och Bell-LaPadula-modellens begränsningar. Detta problem uppstår i samband med vårt införande av ett storskaligt system för hantering av strömmar som kan behandla en mängd olika undersökningar som lämnas in av slutanvändarna. Genom att utöka välkända resultat från AI-planeringslitteraturen visar vi först att under vissa förenklade antaganden kan arbetsflöden som uppfyller Bell-LaPadula-modellens begränsningar konstrueras i linjär tid. Vidare visar vi att problemet blir NP-komplett när det är tillåtet att använda betrodda nedgraderare för datanedklassificering. Därefter identifierar vi ett antal speciella villkor under vilka arbetsflöden fortfarande kan konstrueras i polynom tid, även när användning av nedgraderare är tillåten. Slutligen analyserar vi effekterna av kinesiska murens begränsningar på komplexiteten i kompositionsproblemet, och beskriver en effektiv algoritm för att komponera arbetsflöden under dessa begränsningar. Den föreslagna metoden kan användas med alla lattice-baserade regler för tillträdeskontroll, inklusive Biba integritetsmodell.
Dessutom Lelarge et al. REF presenterade ett AI planeringsbaserat tillvägagångssätt för automatisk sammansättning av säkra arbetsflöden inom området för strömbehandlingssystem.
Automatic Composition of Secure Workflows
{'venue': 'ATC', 'journal': None, 'mag_field_of_study': ['Computer Science']}