Det finns ett växande intresse av att fastställa regler för medborgarnas integritet när det gäller behandling av känsliga personuppgifter, t.ex. medicinska och finansiella register. Sådana regler måste följas av programvara som används inom dessa sektorer. De regulatoriska uttalandena är något informella och måste tolkas noggrant i programvarugränssnittet mot privata data. Detta dokument beskriver tekniker för att formalisera regulatoriska integritetsregler och hur man utnyttjar denna formalisering för att analysera reglerna automatiskt. Vår formalism, som vi kallar integritet API:er, är en utvidgning av åtkomstkontrollmatrisoperationer till att omfatta (1) operationer för anmälan och loggning och (2) konstruktioner som underlättar kartläggningen mellan juridiska och formella språk. Vi validerar den expressiva kraften av integritet API:er genom att koda 2000 och 2003 HIPAA samtyckesregler i vårt system. Denna formalisering kodas sedan in i Promela och vi validerar nyttan av formalismen genom att använda SPIN-modellen checker för att verifiera egenskaper som skiljer de två versionerna av HIPAA. - Vad är det för fel på dig?
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. REF presenterade integritet API:er, som utökar den traditionella matrismodellen för åtkomstkontroll, och använde dem för att formalisera två versioner av HIPAA §164.506.
Privacy APIs: access control techniques to analyze and verify legal privacy policies
{'venue': "19th IEEE Computer Security Foundations Workshop (CSFW'06)", 'journal': "19th IEEE Computer Security Foundations Workshop (CSFW'06)", 'mag_field_of_study': ['Computer Science']}