Abstract-Integritetspolicyer begränsar ofta de ändamål för vilka ett styrt företag kan använda personuppgifter. Till exempel kräver bestämmelser, såsom lagen om sjukförsäkring och ansvarsskyldighet (HIPAA), att sjukhusanställda endast använder medicinsk information för vissa ändamål, t.ex. behandling, men inte för andra, t.ex. skvaller. Att använda formella eller automatiserade metoder för att genomdriva sekretesspolicyer kräver därför en semantik av ändamålsbegränsningar för att avgöra om en åtgärd är för ett ändamål eller inte. Vi tillhandahåller en sådan semantik med hjälp av en formalism baserad på planering. Vi modellerar planering med hjälp av en modifierad version av Markov Decision Processes (MDPs), som utesluter överflödiga åtgärder för en formell definition av redundant. Vi hävdar att en åtgärd är för ett ändamål om och endast om åtgärden ingår i en plan för att optimera tillfredsställelsen av detta ändamål enligt MDP-modellen. Vi använder denna formalisering för att definiera när en sekvens av handlingar endast är för eller inte för ett ändamål. Denna semantik gör det möjligt för oss att skapa och implementera en algoritm för att automatisera revision, och att beskriva formellt och jämföra rigorösa tidigare genomförandemetoder. För att bekräfta vår semantik genomför vi en enkät för att jämföra vår semantik med hur människor vanligen förstår ordet "syfte".
För att formalisera ändamålsbegränsningar i sekretesspolicyn, Tschantz et al. REF ger en semantik med hjälp av en formalism baserad på planering modellerad med hjälp av en modifierad version av Markovs beslutsprocesser.
Formalizing and Enforcing Purpose Restrictions in Privacy Policies
{'venue': '2012 IEEE Symposium on Security and Privacy', 'journal': '2012 IEEE Symposium on Security and Privacy', 'mag_field_of_study': ['Computer Science']}