En Aspect-orienterad, deklarativ, säkerhetspolicy specifikation språk presenteras, för verkställighet av In-lined Reference Monitors. Språkets semantik skapar en formell koppling mellan Aspect-orienterad programmering och I-lined Reference Monitoring där policyspecifikationer betecknar AspectOriented security automata-security automata vars eggetiketter är kodade som pointcut-uttryck. Prototypen språk implementering upprätthåller dessa säkerhetspolicys genom att automatiskt skriva Java bytecode program för att upptäcka och förhindra policykränkningar på runtime.
SPoX REF bygger på aspektorienterad programmering för att genomföra in-lined referensövervakning för Java, med som policys automata vars kanter är märkta med pointcut uttryck.
Aspect-oriented in-lined reference monitors
{'venue': "PLAS '08", 'journal': None, 'mag_field_of_study': ['Computer Science']}