Åtkomstkontroll och integritetspolicyrelationer tenderar att fokusera på beslutsresultat och är mycket känsliga för definierade termer och stat. Små ändringar eller uppdateringar av ett policyspråk eller ordförråd kan göra två liknande policyer ojämförbara. För att ta itu med detta utvecklar vi två flexibla politiska förbindelser som härrör från bisimulering i processkalkyler. Stark licensiering jämför resultatet av två strategier strikt, liknande stark bisimulation. Svaga licenser jämför resultaten av politiken på ett mer flexibelt sätt genom att bortse från irrelevanta (icke-konfidenterande) skillnader mellan resultaten, liknande den svaga bisimuleringen. Vi illustrerar relationerna med hjälp av exempel från P3P. Detta material är publicerat här med tillstånd av IEEE. Sådant tillstånd från IEEE innebär inte på något sätt att IEEE godkänner någon av University of Pennsylvania produkter eller tjänster. Intern eller personlig användning av detta material är tillåten. Tillstånd att åter trycka/publicera detta material för reklam- eller marknadsföringsändamål eller för att skapa nya kollektiva verk för återförsäljning eller omfördelning måste dock erhållas från IEEE genom att man skriver till pubs-permissions@ieee.org. Genom att välja att se detta dokument godkänner du alla bestämmelser i upphovsrättslagen som skyddar det. Abstract-Access kontroll och integritetspolicy relationer tenderar att fokusera på beslutsresultat och är mycket känsliga för definierade termer och stat. Små ändringar eller uppdateringar av ett policyspråk eller ordförråd kan göra två liknande policyer ojämförbara. För att ta itu med detta utvecklar vi två flexibla politiska förbindelser som härrör från bisimulering i processkalkyler. Stark licensiering jämför resultatet av två strategier strikt, liknande stark bisimulation. Svaga licenser jämför resultaten av politiken på ett mer flexibelt sätt genom att bortse från irrelevanta (icke-konfidenterande) skillnader mellan resultaten, liknande den svaga bisimuleringen. Vi illustrerar relationerna med hjälp av exempel från P3P.
Mäklare m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m. föreslog två flexibla politiska förbindelser som härrör från bisimulering i processkalkyler REF.
Strong and Weak Policy Relations
{'venue': '2009 IEEE International Symposium on Policies for Distributed Systems and Networks', 'journal': '2009 IEEE International Symposium on Policies for Distributed Systems and Networks', 'mag_field_of_study': ['Computer Science']}