I en säkerhetspolitik anges de godtagbara åtgärderna i ett informationssystem, liksom åtgärderna för säkerhet. Det finns ett trängande behov av att organisationer deklarerar sin säkerhetspolitik, även informella uttalanden skulle vara bättre än den nuvarande praxisen. Men formella policyförklaringar är att föredra framför att stödja (1) resonemang om policy, t.ex. för konsekvens och fullständighet, (2) automatiserat genomförande av policyn, t.ex. genom att använda omslag runt äldre system eller efter det faktum med ett system för att upptäcka intrång, och (3) andra formella manipulationer av policyer, t.ex. politikens sammansättning. Vi presenterar LaSCO, Språket för säkerhet Restriktioner på objekt, där en policy består av två delar: domänen (antaganden om systemet) och kravet (vad är tillåtet förutsatt att domänen är nöjd). Således policy definieras i LaSCO har utseendet av villkorad tillgång kontroll uttalanden. LaSCO policys specificeras som uttryck i logik och som riktade grafer, vilket ger en visuell bild av policy. LaSCO har en enkel semantik i första ordningen logik (som vi tillhandahåller), vilket gör det möjligt för politik vi skriver, även för komplexa politik, att vara mycket iögonenfallande. LaSCO har syntax för att uttrycka många av de situationer som vi har funnit vara användbara när det gäller politik eller, mer intressant, politikens sammansättning. LaSCO har en objektorienterad struktur som gör det möjligt att beskriva policyer för objekt och metoder för en ansökan skriven på ett objektorienterat språk, utöver den traditionella policyn för operativsystem objekt. En LaSCO specifikation kan automatiskt översättas till körbar kod som kontrollerar en åberopande av ett program med avseende på en policy. Genomförandet av LaSCO är i Java, och genererar omslag för att kontrollera Java program med avseende på en policy. Säkerhet utgör en kärnkomponent i alla system. Vad som menas med säkerhet har beskrivits i allmänna termer såsom sekretess, integritet och tillgänglighet. Men vad som exakt menas med säkerhet (eller för att något ska vara säkert) för ett visst system 1 varierar från system till system och eventuellt beroende på situationen. Militären skulle förmodligen ha en annan definition av vad som är lämplig säkerhet för deras system än en bank, ett universitet eller en hemmaanvändare skulle göra. De har var och en sina egna behov som bör återspeglas när de säkrar sina system. Dessutom kan man beskriva säkerhet på olika systemnivåer. En säkerhetspolitik är en beskrivning av säkerhetsmålen för ett system och hur ett system bör bete sig för att uppnå dessa mål. Ett exempel är att begäran om köp och dess godkännande måste vara från olika användare. Eftersom säkerhetsmålen för en systemeffekt hur säkerhetsmekanismerna i systemet är konfigurerade, är det viktigt att säkerhetspolicyn anges tydligt. Ytterligare fördelar erhålls om policyn kan användas direkt för att konfigurera säkerhetsmekanismerna eller kan användas för att formellt resonera om politikens effekter. Ett gemensamt säkerhetsbehov är att begränsa tillgången till resurser i ett system. Detta återspeglas i en restriktiv säkerhetspolitik, som anger begränsningar av systemet 2. Vi fokuserar på begränsning av säkerhetspolitiken i detta dokument. 1. Vad är det för fel på dig? Vi använder "system" i allmänhet här. Det kan vara nästan vad som helst på en dator som innehåller någon form av enheter och kan interagera med eller kan ses som exekverande. Några exempel är: ett program som kör, ett filsystem, ett operativsystem, en arbetsgrupp och ett nätverk av värdar. 2. Utgångspunkten är följande: Andra typer av säkerhetspolicyer är sådana som beskriver hur förtroende hanteras, beskriver hur man väljer säkerhetsalternativ för att skapa en nätverksanslutning, och de som beskriver hur man reagerar på en säkerhetsöverträdelse.
Hoagland m.fl. REF använder ett grafiskt språk för att beskriva säkerhetspolicyer.
Security Policy Specification Using a Graphical Approach
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}