Även om förebyggande mekanismer för genomförande av politiken kan ge teoretiska garantier för att politiken genomförs korrekt, har de begränsningar i praktiken. De är oflexibla när oförutsedda omständigheter uppstår, och de flesta är antingen oflexibla med avseende på den politik som de kan genomdriva eller oförmögna att fortsätta att tillämpa politik för dataobjekt när de förflyttar sig från ett system till ett annat. I detta dokument föreslår vi en strategi för att genomdriva politiken, inte genom att förhindra otillåten användning, utan genom att avskräcka den. Vi anser att detta tillvägagångssätt är ett komplement till förebyggande tillämpning av politiken. Vi kallar vårt tillvägagångssätt APPLE för A-Posteriori PoLicy Enforcement. Vi introducerar APPLE Core, en logisk ram för att använda loggar för att verifiera att åtgärder som vidtagits av systemet godkändes. Ett förtroendehanteringssystem används för att se till att dataobjekt endast tillhandahålls till användare som arbetar med granskningsbara system som är föremål för påföljder om de skulle upptäckas i strid. Denna kombination av revision och ansvarighet ger en avskräckning som starkt uppmuntrar pålitligt beteende, vilket möjliggör en hög nivå av säkerhet för ende-to-end policy efterlevnad.
Etalle och Winsborough REF presenterar en logisk ram för att använda loggar för att verifiera att åtgärder som vidtas av systemet är godkända.
A posteriori compliance control
{'venue': "SACMAT '07", 'journal': None, 'mag_field_of_study': ['Computer Science']}