Informatiestroom beleid

Informatiestroom beleid definieert de manier waarop informatie beweegt gedurende een systeem. Gewoonlijk zijn deze beleid ter behoud van de vertrouwelijkheid van gegevens en integriteit van gegevens. In het eerste, het doel van het beleid is om informatie te voorkomen stromen naar een gebruiker niet gemachtigd om ontvangen. In het laatste kan informatiestroom alleen om processen die niet meer betrouwbaar zijn dan de gegevens.

Elke vertrouwelijkheid en de integriteit beleid belichaamt een informatiestroom beleid.

Laat x een variabele in een programma. De notatie x verwijst naar de informatiestroom klasse van x.

Intuïtief, informatiestromen van een object x aan een object y indien de toepassing van een sequentie van commando c de informatie oorzaken aanvankelijk in x tot de informatie in y. invloed

Het commando sequentie c veroorzaakt een stroom van informatie van X naar Y, indien na de uitvoering van c, wat informatie over de waarde van x voor C is uitgevoerd kan worden afgeleid uit de waarde van y After C is uitgevoerd.

Deze definitie bekeken informatiestroom in termen van de informatie die de waarde van y kan men afleiden over de waarde van x. Bijvoorbeeld, de verklaring

y: = x;

toont de waarde van x in de oorspronkelijke staat, zodat de informatie over de waarde van x in de oorspronkelijke staat kan worden afgeleid uit de waarde van y na de verklaring wordt uitgevoerd. De verklaring

y: = x / z;

onthult wat informatie over X, maar niet zoveel als de eerste verklaring.

Het uiteindelijke resultaat van de reeks C mag onthullen informatie over de initiële waarde van x voor informatie te stromen. De volgorde

tmp: = x, y: = tmp;

beschikt over informatie die uit X naar Y, omdat de (onbekende) waarde van x aan het begin van de sequentie wordt onthuld wanneer de waarde van y wordt bepaald op het einde van de reeks. Echter geen informatie doorstroming plaatsvindt van tmp tot x, omdat de initiële waarde van tmp niet kan worden bepaald aan het einde van de reeks.

x: = y + z; 

als x = 1 dan Y: = 0; else y: = 1; 

Een impliciete stroom van informatie vindt plaats wanneer de informatiestromen van X naar Y, zonder een expliciete opdracht van de vorm y: = f (x), waarbij f (x) is een rekenkundige expressie met de variabele x.

De stroom van informatie wordt voorkomen, niet vanwege een opdracht van de waarde van x, maar door een stroom van controle op basis van de waarde van x Dit toont aan dat het analyseren van programma's voor opdrachten informatiestromen te detecteren is niet genoeg. Het opsporen van alle stromen van informatie, moet impliciete stromen worden onderzocht.

Information Flow Modellen en Mechanismen

Een informatiestroom beleid is een veiligheidsbeleid dat de toegestane paden waarlangs die informatie kan stromen beschrijft. Elk model associeert een label, die een zekerheid klasse, met informatie en met entiteiten die deze informatie. Elk model heeft regels over de voorwaarden waaronder informatie kan bewegen in het systeem.

In deze tutorial, gebruiken we de notatie x <= y te betekenen dat de informatie kan voortvloeien uit een element van klasse x een element van klasse Y. Equivalent, zegt dat deze informatie met een label te plaatsen in klasse X kan stromen in klasse j.

De modellen van het beleid informatiestroom waren roosters. We hebben eerst onderzocht nonlattice informatiestroom beleid en hoe hun structuren van invloed op de analyse van de informatiestroom. Wij vervolgens naar compiler-gebaseerde mechanismen informatiestroom en runtime-mechanismen. We sluiten af met een blik op stroom controles in de praktijk.