Beveiliging van besturingssystemen - Models of security

Question

Answer 1

lattice= tralie

wiskundige structuur

Answer 2

=een formele beschrijving van de toegestane paden van informatieflow in een beveiligd systeem

is gericht op het verzekeren van de vertrouwelijkheid van objecten

Is gebaseerd op 2 regels:

Simpele security property. No read up. Voorkomt dat objecten bekeken worden door onbevoegden: personen met een te laag clearance-niveau
*-property (starproperty). No write down. Personen die informatie krijgen van een bepaald niveau mogen niet communiceren met personen op een lager niveau

Answer 3

geef een subject tijdelijk een lagere clearance. Dan kan het tijdelijk schrijven op een lager niveau (maar niet meer lezen op het oorspronkelijke niveau)
geef een aantalsubjecten, de zogenaamde trusted subjecten, toestemming om de *-property te overtreden

Answer 4

gericht op het verzekeren van de integriteit van objecten

dwingt no write up af

2eigenschappen:

simple integrity property. Subjects kunnen wijzigen/schrijven in objecten alleen als i(s)>=I(o)
integrity *-property. Als subject s leesrecht heeft op object o met integrity level I(o), kan s alleen schrijfrecht hebben als I(o)>=I(p)