För att säkerställa att en förtroendeförhandling lyckas närhelst det är möjligt, måste behörighetskontrollerna kunna hitta alla minimala uppsättningar av sina ägares referenser som kan användas för att uppfylla en viss policy. Om alla dessa uppsättningar kan hittas effektivt innan valet av vilken uppsättning som ska avslöjas, många strategiska fördelar kan också realiseras. Tyvärr är det alltför ineffektivt att lösa detta problem med hjälp av befintliga kontroller av efterlevnaden för att vara användbart i praktiken. Särskilt, overheads av att hitta alla tillfredsställande uppsättningar med hjälp av befintliga metoder har visat sig snabbt växa exponentiellt i storleken på unionen av alla tillfredsställande uppsättningar av referenser för politiken, även efter optimeringar har gjorts för att beskära sökområdet för potentiella tillfredsställande uppsättningar. I detta dokument beskriver vi Clouseau compliance checker. Clouseau utnyttjar effektiva mönstermatchande algoritmer för att hitta alla tillfredsställande uppsättningar av referenser för en viss policy i tid som växer som O(NA), där N är antalet tillfredsställande uppsättningar för policyn och A är den genomsnittliga storleken på varje tillfredsställande uppsättning. Vi beskriver utformningen och genomförandet av Clouseau compliance checker, utvärdera dess prestanda, och visar att det kraftigt överträffar befintliga metoder för att hitta alla tillfredsställande uppsättningar av referenser. Vi presenterar sedan en metod för att automatiskt sammanställa RT-policyer till ett format som lämpar sig för analys av Clouseau och bevisa dess korrekthet och fullständighet.
Lee och Winslett REF föreslår ett typ 3-kontrollproblem - hitta alla minimala bevis på en policy för en viss uppsättning av referenser.
Towards an efficient and language-agnostic compliance checker for trust negotiation systems
{'venue': "ASIACCS '08", 'journal': None, 'mag_field_of_study': ['Computer Science']}