Frågan om krav på tillträdeskontroll kräver fortsatt stor uppmärksamhet. Forskarnas fokus har traditionellt varit på att utveckla särskilda modeller för åtkomstkontroll och policyspecifikationer för språk för särskilda tillämpningar. Detta tillvägagångssätt har emellertid resulterat i en onödig uppsjö av modeller och språk. Däremot beskriver vi en allmän passerkontrollmodell och ett logikbaserat specifikationsspråk från vilket både befintliga och nya passerkontrollmodeller kan härledas som särskilda fall och där flera tillvägagångssätt kan utvecklas för domänspecifika tillämpningar. Vi kommer att hävda att vår allmänna ram har ett antal specifika attraktioner och en konsekvens av vårt arbete är att uppmuntra en metodisk övergång från en studie av detaljerna i tillträdeskontroll till dess allmänna.
På senare tid presenteras i REF en allmän tillgångskontrollmodell och ett logikbaserat specifikationsspråk.
A Meta-model of Access Control in a Fibred Security Language
{'venue': None, 'journal': 'Studia Logica', 'mag_field_of_study': ['Computer Science']}