Nuvarande brandväggskonfigurationsspråk har ingen välgrundad semantik. Varje brandvägg implementerar sin egen algoritm som tolkar specifika egna språk. Den viktigaste konsekvensen är att policyer för kontroll av nätverksåtkomst är svåra att hantera och de flesta brandväggar är faktiskt felaktigt konfigurerade. I detta dokument presenterar vi ett åtkomstkontrollspråk baserat på XML-syntax vars semantik tolkas i passerkontrollmodellen Or-BAC (Organization Based Access Control). Vi visar hur man använder detta språk för att specificera policyer för nätverksåtkomst på hög nivå och sedan automatiskt härleda konkreta regler för åtkomstkontroll för att konfigurera specifika brandväggar genom en översättningsprocess. Vårt tillvägagångssätt ger tydlig semantik för specifikation av nätsäkerhetspolicy, underlättar hanteringen av sådan policy för administratören och garanterar portabilitet mellan brandväggar.
Ett formellt tillvägagångssätt för att använda en organisationsbaserad åtkomstkontrollmodell (Or-BAC) för att specificera nätsäkerhetsstrategier presenterades i REF.
A FORMAL APPROACH TO SPECIFY AND DEPLOY A NETWORK SECURITY POLICY
{'venue': 'Formal Aspects in Security and Trust', 'journal': None, 'mag_field_of_study': ['Computer Science']}