Nexus Authorization Logic (NAL) ger en principiell grund för att specificera och resonemang om referenser och behörighetspolicyer. Det utvidgar tidigare åtkomstkontroll logiker som bygger på "säger" och "talar för" operatörer. NAL möjliggör tillstånd för åtkomstförfrågningar att bero på (i) källan eller stamtavlan för begäran, (ii) resultatet av varje mekaniserad analys av begäran, eller (iii) användningen av betrodd programvara för att inkapsla eller ändra begäran. För att illustrera bekvämligheten och den uttrycksfulla kraften i denna metod för auktorisation, en svit av dokument-Viewer program genomfördes för att köra på Nexus operativsystem. En av tittarna tillämpar policyer som rör integriteten hos utdrag som ett dokument innehåller; en annan tittare tillämpar sekretessregler som anges av etiketter som taggar textblock.
Kanske närmast BL behandling av statiska atomer är Nexus Authorization Logic (NAL) REF som används för att godkänna åtkomst i flera komponenter i Nexus operativsystem.
Nexus authorization logic (NAL): Design rationale and applications
{'venue': 'TSEC', 'journal': None, 'mag_field_of_study': ['Computer Science']}