Abstrakt. Historiskt sett är dynamiska tekniker pionjärer inom informationsflödet på 70-talet. I sitt seminala arbete föreslår Denning och Denning ett statiskt alternativ för informationsflödesanalys. Efter detta arbete, 90-talet ser dominansen av statiska tekniker för informationsflöde. Den gemensamma visdomen verkar vara att dynamiska tillvägagångssätt inte är en bra matchning för säkerhet eftersom övervakning av en enda väg missar offentliga biverkningar som kunde ha hänt på andra vägar. Dynamiska tekniker för informationsflöde är på uppgång igen, driven av behovet av eftergivenhet i dagens dynamiska tillämpningar. Men de innebär fortfarande icke-triviala statiska kontroller av läckor relaterade till kontrollflödet. Detta dokument visar att det är möjligt att en rent dynamisk tillämpning är lika säker som Denning-stil statisk informationsflödesanalys, trots den gemensamma visdomen. Vi har den kompromissen att statiska tekniker har fördelar av att minska drifttid overhead, och dynamiska tekniker har fördelarna med eftergivenhet (detta, till exempel, är av särskild betydelse i dynamiska applikationer, där nygenererad kod utvärderas). Men på säkerhetssidan visar vi för ett enkelt imperativt språk att både Denning-liknande analys och dynamisk verkställighet har samma försäkran: uppsägning-okänslig icke-inblandning.
Sabelfeld och Russo REF jämför och kontrast statiska med dynamisk programanalys, och härleda (med hjälp av enkla tvingande språk) att båda teknikerna garanterar samma nivå av uppsägning-okänslig icke-interferens.
From dynamic to static and back: Riding the roller coaster of information-flow control research
{'venue': 'Ershov Memorial Conference', 'journal': None, 'mag_field_of_study': ['Computer Science']}